Infinitary λ Calculi and Böhm Models
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary λ Calculi and Böhm Models
RTA, 1995.

RTA 1995
Full names Links ISxN
	author        = "Richard Kennaway and Jan Willem Klop and M. Ronan Sleep and Fer-Jan de Vries",
	booktitle     = "{Proceedings of the Sixth International Conference on Rewriting Techniques and Applications}",
	doi           = "10.1007/3-540-59200-8_62",
	editor        = "Jieh Hsiang",
	isbn          = "3-540-59200-8",
	pages         = "257--270",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Infinitary λ Calculi and Böhm Models}",
	volume        = 914,
	year          = 1995,


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.