Pages that link to "Item:Q5145342"
From MaRDI portal
The following pages link to Enriching a Linear/Non-linear Lambda Calculus (Q5145342):
Displaying 9 items.
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- (Q4989404) (← links)
- (Q5018498) (← links)
- (Q5019687) (← links)
- (Q5020949) (← links)
- (Q5109520) (← links)
- Quantum Suplattices (Q6200522) (← links)
