Linear λ-Calculus and Categorial Models Revisited
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
Linear λ-Calculus and Categorial Models Revisited
CSL, 1992.

CSL 1992
Full names Links ISxN
	author        = "P. N. Benton and Gavin M. Bierman and Valeria de Paiva and Martin Hyland",
	booktitle     = "{Proceedings of the Sixth Workshop on Computer Science Logic}",
	doi           = "10.1007/3-540-56992-8_6",
	isbn          = "3-540-56992-8",
	pages         = "61--84",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Linear λ-Calculus and Categorial Models Revisited}",
	volume        = 702,
	year          = 1992,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.