Henk Barendregt
Henk Barendregt and Adrian Rezus.
Semantics for classical AUTOMATH and related systems.
Information and Control
, 59(1-3):127-147, October/November/December 1983.
References and Citations.
H. P. Barendregt, J. R. Kennaway, J. W. Klop, and M. R. Sleep.
Needed reduction and spine strategies for the lambda calculus.
Information and Computation
, 75(3):191-231, December 1987.
Abstract, References, and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database