Infinitary Lambda Calculi from a Linear Perspective

DOI10.1145/2933575.2934505zbMath1394.03027arXiv1604.08248OpenAlexW2531157181MaRDI QIDQ4635902

Ugo Dal Lago

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.08248

zbMATH Keywords

linear logiclambda calculusinfinitary rewriting

Mathematics Subject Classification ID

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

Related Items (2)

Polynomial time over the reals with parsimony ⋮ Implicit computation complexity in higher-order programming languages

This page was built for publication: Infinitary Lambda Calculi from a Linear Perspective