A System F accounting for scalars
From MaRDI portal
Publication:2881078
DOI10.2168/LMCS-8(1:11)2012zbMath1239.03008MaRDI 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
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus
Related Items
Unnamed Item, 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, QPCF: higher-order languages and quantum circuits, A concrete categorical semantics of lambda-\(\mathcal{S}\)
Uses Software