Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types [PDF]
Logical Methods in Computer Science, 2013 This paper extends the dual calculus with inductive types and coinductive types. The paper first introduces a non-deterministic dual calculus with inductive and coinductive types. Besides the same duality of the original dual calculus, it has the duality
Daisuke Kimura, Makoto Tatsuta
doaj +1 more source
Senior High School Mathematics Subjects in Queensland: Options and Trends of Student Participation
PRISM, 2021 In the State of Queensland in Australia, Years 11 and 12 students can opt to study calculus based or non-calculus based mathematics. Calculus based mathematics subjects are a prerequisite for Science, Technology, Engineering and Mathematics (STEM ...
Musarurwa David Chinofunga +2 more
doaj +4 more sources
Effect of Smoking on Peridontal Health: A Comparative Study
Journal of Bahria University Medical and Dental College, 2022 Objective: To determine the association between smoking and calculus decomposition among patients presenting at a tertiary hospital of Karachi. Study Design and Settings: A cross-sectional comparative study was conducted at periodontic OPD Altamash ...
Faisal Salim +5 more
doaj +1 more source
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity [PDF]
QPL, 2018 We present a new graphical calculus that is sound and complete for a universal family of quantum circuits, which can be seen as the natural string-diagrammatic extension of the approximately (real-valued) universal family of Hadamard+CCZ circuits.
Miriam Backens, A. Kissinger
semanticscholar +1 more source
A Fully Abstract Symbolic Semantics for Psi-Calculi [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal
Magnus Johansson +2 more
doaj +1 more source
Non-commutative Calculus, Optimal Transport and Functional Inequalities in Dissipative Quantum Systems [PDF]
Journal of statistical physics, 2018 We study dynamical optimal transport metrics between density matrices associated to symmetric Dirichlet forms on finite-dimensional $$C^*$$ C ∗ -algebras.
E. Carlen, Jan Maas
semanticscholar +1 more source
A Flat Process Calculus for Nested Membrane Interactions [PDF]
Scientific Annals of Computer Science, 2014 The link-calculus has been recently proposed as a process calculus for representing interactions that are open (i.e., that the number of processes may vary), and multiparty (i.e., that may involve more than two processes).
C. Bodei +3 more
doaj +1 more source
Qutrit Dichromatic Calculus and Its Universality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce a dichromatic calculus (RG) for qutrit systems. We show that the decomposition of the qutrit Hadamard gate is non-unique and not derivable from the dichromatic calculus.
Quanlong Wang, Xiaoning Bian
doaj +1 more source
Non-local fractional calculus from different viewpoint generated by truncated M-derivative
Journal of Computational and Applied Mathematics, 2020 The core of this paper is to propose more favored novel non-local fractional integral and derivative operators with three parameters by using the iteration manner on truncated M -derivative involving truncated Mittag-Leffler function.
B. Acay, E. Baş, T. Abdeljawad
semanticscholar +1 more source
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams [PDF]
Logic in Computer Science, 2018 Linear/non-linear (LNL) models, as described by Benton, soundly model a LNL term calculus and LNL logic closely related to intuitionistic linear logic. Every such model induces a canonical enrichment that we show soundly models a LNL lambda calculus for ...
B. Lindenhovius +2 more
semanticscholar +1 more source