A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)

DOI10.1007/978-3-540-78499-9_7zbMath1138.68351OpenAlexW2114078774MaRDI QIDQ5458352

Peter Selinger, Benoît Valiron

Publication date: 11 April 2008

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78499-9_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Presheaf Models of Quantum Computation: An Outline

This page was built for publication: A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)