What is a model for a semantically linear λ-calculus?

Saved in:

Bibliographic Details
Title:	What is a model for a semantically linear λ-calculus?
Authors:	Gaboardi, Marco¹, Piccolo, Mauro²
Source:	Journal of Logic & Computation; Jun2014, Vol. 24 Issue 3, p557-589, 33p
Database:	Applied Science & Technology Source

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exs023