|
550
|
Term Rewriting Systems
– J. W. Klop
- 1992
|
|
13
|
Algebraically generalized recursive function theory
– H Strong
- 1968
|
|
996
|
The Lambda Calculus, Its Syntax and Semantics
– Henk P 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
|
|
21
|
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
|
|
237
|
Foundations of Constructive Mathematics
– M J Beeson
- 1985
|
|
55
|
Realizability Toposes and Language Semantics
– J Longley
- 1995
|
|
265
|
The Lambda Calculus: Its Syntax and Semantics, volume 103
– H P Barendregt
- 1984
|
|
14
|
Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract)
– J.M.E. Hyland, C. -h. L. Ong
- 1993
|
|
178
|
A new implementation technique for applicative languages
– D A Turner
- 1979
|
|
5
|
Oosten. Ordered partial combinatory algebras
– Pieter Hofstra, Jaap Van Oosten
- 1992
|
|
77
|
The effective topos
– J M E Hyland
- 1982
|
|
3
|
Normed uniformly reflexive structures
– H P Barendregt
- 1975
|
|
7
|
Foundations of constructive mathematics, volume 6 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3
– Michael J Beeson
- 1985
|
|
5
|
Extending partial combinatory algebras
– J W Klop
- 1982
|
|
163
|
Introduction to Lambda Calculus
– Henk Barendregt, Erik Barendsen
- 1994
|
|
5
|
More existence theorems for recursion categories, Annals of Pure and Applied Logic 125
– F Lengyel
- 2004
|
