A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic

DOI10.1007/978-3-319-25150-9_10zbMATH Open1471.03091OpenAlexW2258859797MaRDI QIDQ2787421

Luc Pellissier, Damiano Mazza

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_10

Mathematics Subject Classification ID

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

This page was built for publication: A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2787421)