Collapsing Partial Combinatory Algebras (1996)

Cached

Download Links

by Inge Bethke , Jan Willem Klop
Venue:Higher-Order Algebra, Logic, and Term Rewriting
Citations:12 - 2 self

Documents Related by Co-Citation

565 Term Rewriting Systems – J. W. Klop - 1992
13 Algebraically generalized recursive function theory – H R Strong - 1968
1115 The Lambda Calculus: Its Syntax and Semantics – H Barendregt - 1984
7 Effective Applicative Structures – Andrea Asperti, Agata Ciabattoni, Piazza Porta, S. Donato - 1995
9 On the existence of extensional partial combinatory algebras – Inge Bethke - 1987
24 Local Realizability Toposes and a Modal Logic for Computability (Extended Abstracts) – Stephen Awodey, Lars Birkedal, Dana S. Scott - 1999
3 Completing Partial Combinatory Algebras with Unique Head-Normal Forms – Inge Bethke, Jan Willem Klop, Roel De Vrijer - 1996
263 Foundations of Constructive Mathematics – M J Beeson - 1985
60 Realizability Toposes and Language Semantics – J Longley - 1994
282 The Lambda Calculus – Its Syntax and Semantics, volume 103 of – Hendrik Pieter Barendregt - 1984
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
189 A new implementation technique for applicative languages – D A Turner - 1979
79 The effective topos – M E Hyland - 1982
4 Oosten. Ordered partial combinatory algebras – Pieter Hofstra, Jaap Van Oosten - 1992
3 Normed uniformly reflexive structures – H P Barendregt - 1975
5 Extending partial combinatory algebras – J W Klop - 1982
8 Foundations of Constructive Mathematics, volume 6 of Ergebnisse der Mathematik and ihrer Grenzgebiete . Springer-Verlag – M Beeson - 1985
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
183 Introduction to Lambda Calculus – Henk Barendregt, Erik Barendsen - 1994