The Barendregt Cube with Definitions and Generalised Reduction (1997)

Cached

Download Links

by Roel Bloo , Fairouz Kamareddine , Rob Nederpelt
Citations:39 - 18 self

Documents Related by Co-Citation

520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
391 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
625 Compiling with Continuations – A Appel - 1992
896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
857 A formulation of the simple theory of types – Alonzo Church - 1940
478 The calculus of constructions – G Huet Coquand - 1988
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993