Pages that link to "Item:Q2973238"
From MaRDI portal
The following pages link to On quantum lambda calculi: a foundational perspective (Q2973238):
Displayed 15 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
- A logic for quantum register measurements (Q2306145) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- A Certified Study of a Reversible Programming Language (Q4580228) (← links)
- (Q5018491) (← links)
- Typing Quantum Superpositions and Measurement (Q5055990) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)