Quantitative Aspects of Linear and Affine Closed Lambda Terms

DOI10.1145/3173547zbMath1407.03013arXiv1702.03085OpenAlexW2592316181WikidataQ129614541 ScholiaQ129614541MaRDI QIDQ4581460

Pierre Lescanne

Publication date: 20 August 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

combinatoricsfunctional programminglambda calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

This page was built for publication: Quantitative Aspects of Linear and Affine Closed Lambda Terms