A System F accounting for scalars
From MaRDI portal
Publication:2881078
DOI10.2168/LMCS-8(1:11)2012zbMath1239.03008OpenAlexW3099155063MaRDI QIDQ2881078
Pablo Arrighi, Alejandro Díaz-Caro
Publication date: 3 April 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-8(1:11)2012
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Typing Quantum Superpositions and Measurement ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ A concrete model for a typed linear algebraic lambda calculus ⋮ The vectorial \(\lambda\)-calculus ⋮ Unnamed Item ⋮ QPCF: higher-order languages and quantum circuits ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\)
Uses Software
This page was built for publication: A System F accounting for scalars
