Publication:2958517

DOI10.4230/LIPIcs.CSL.2013.101zbMath1356.03057MaRDI QIDQ2958517

Michele Pagani, Pierre Boudes, Fanny He

Publication date: 2 February 2017

zbMATH Keywords

linear logic; lambda calculus; Böhm trees; differential lambda calculus

Mathematics Subject Classification ID

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03B40: Combinatory logic and lambda calculus