Convolution $\bar\lambda\mu$ -Calculus

DOI10.1007/978-3-540-73228-0_27zbMath1215.03029OpenAlexW141232972MaRDI QIDQ3612645

Lionel Vaux

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73228-0_27

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Differential Linear Logic and Polarization

This page was built for publication: Convolution $\bar\lambda\mu$ -Calculus