Linearity in the Non-deterministic Call-by-Value Setting

DOI10.1007/978-3-642-32621-9_16zbMath1361.68036arXiv1011.3542OpenAlexW3102581998MaRDI QIDQ2915029

Barbara Petit, Alejandro Díaz-Caro

Publication date: 21 September 2012

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1011.3542

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (7)

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 ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\)

This page was built for publication: Linearity in the Non-deterministic Call-by-Value Setting