Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus

DOI10.2168/LMCS-10(4:8)2014zbMath1434.68077OpenAlexW1908505045MaRDI QIDQ2938763

Christine Tasson, Benoît Valiron, Alejandro Díaz-Caro, Simon Perdrix, Maen Al Assaf

Publication date: 15 January 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-10(4:8)2014

zbMATH Keywords

linear-algebraic \(\lambda \)-calculusalgebraic \(\lambda \)-calculusCPS simulation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model ⋮ Typing Quantum Superpositions and Measurement ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ A concrete model for a typed linear algebraic lambda calculus ⋮ The vectorial \(\lambda\)-calculus ⋮ A categorical construction for the computational definition of vector spaces ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\)