Completing Partial Combinatory Algebras with Unique Head-Normal Forms (1996)

Cached

Download Links

by Inge Bethke , Jan Willem Klop , Roel De Vrijer
Citations:3 - 1 self

Documents Related by Co-Citation

12 Collapsing Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop - 1996
565 Term Rewriting Systems – J. W. Klop - 1992
4 editors. Typed Lambda Calculi and Applications – M Bezem, J Groote - 1993
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
70 Introduction to Combinators and the Lambda-Calculus – J R Hindley, J P Seldin - 1986
11 Proving Strong Normalization of CC by Modifying Realizability Semantics – Thorsten Altenkirch - 1994
263 Foundations of Constructive Mathematics – M J Beeson - 1985
42 On Mints' reductions for ccc-calculus – Yohji Akama - 1993
13 Assignment of ordinals to terms for primitive recursive functionals of finite type, in Kino et al – W A Howard - 1970
1115 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
99 Proof Theory – K Schütte - 1977
191 A new implementation technique for applicative languages – D Turner - 1979
2 On completability of partial combinatory algebras – A Asperti, A Ciabatoni - 1996
1 A sufficient condition for completability of partial combinatory algebras – A Asperti, A Ciabatoni - 1997
1 On the interpretation of terms without a normal form. ERCU publicaties no – H P Barendregt - 1971
3 Normed uniformly reflexive structures – H P Barendregt - 1975
1 Ciabattoni [1995c], Effective applicative structures – A Asperti, A - 1995
1 1975]. Normed uniformly reflexive structures. In: l-calculus and Computer science theory – H P Barendregt - 1975
1 Vrijer [1996]. Completing partial combinatory algebras with unique head-normal forms – p 57-74 I Bethke, J W Klop, R de - 1996