Pages that link to "Item:Q2973238"

The following pages link to On quantum lambda calculi: a foundational perspective (Q2973238):

Displaying 14 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 concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)