What is a model for a semantically linear -calculus?

DOI10.1093/LOGCOM/EXS023zbMath1338.03015OpenAlexW2123197280MaRDI QIDQ2937685

Marco Gaboardi, Mauro Piccolo

Publication date: 12 January 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/66086d6fd28e76b536b52784d793eef9769ff082

zbMATH Keywords

completenesscategorical modelslinearityPCF

Mathematics Subject Classification ID

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

This page was built for publication: What is a model for a semantically linear  -calculus?