Quantalic linear lambda-calculus gains an additive disjunction operator with sound and approximately complete equational reasoning, plus probabilistic and quantum model constructions.
How nice are free completions of categories? Topology and its Applications , 273, 2020
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Quantalic lambda-calculus and additive disjunction
Quantalic linear lambda-calculus gains an additive disjunction operator with sound and approximately complete equational reasoning, plus probabilistic and quantum model constructions.