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

Active Bibliography

3 Completing Partial Combinatory Algebras with Unique Head-Normal Forms – Inge Bethke, Jan Willem Klop, Roel De Vrijer - 1996
Problem 19 – Alberto Carraro, Antonino Salibra, Universit├á Ca Foscari
1 Extending Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop, Roel de Vrijer - 1999
1 Meaningless Terms in Rewriting – Richard Kennaway, Y. Guo, M. Hagiya - 1999
On Completability of Partial – Andrea Asperti, Agata Ciabattoni
16 A Continuum of Theories of Lambda Calculus Without Semantics – Antonino Salibra - 2001
Functions, Frames, and Interactions -- completing a ╬╗-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
12 Simple easy terms – F. Alessi, S. Lusin - 2002
7 Effective Applicative Structures – Andrea Asperti, Agata Ciabattoni, Piazza Porta, S. Donato - 1995
4 Lazy Lambda Calculus: Theories, Models and Local Structure Characterisation – C.-H. Luke Ong - 1994
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
1 A Combinator-based Order-sorted Higher-order Unification Algorithm – Patricia Johann, Fachbereich Informatik - 1993
19 Open Problems in Rewriting – Nachum Dershowitz, Jean-pierre Jouannaud, Jan Willem Klop - 1991
84 Combinatory Reduction Systems: introduction and survey – Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk - 1993
27 Inductive synthesis of equational programs – Nachum Dershowitz, Uday S. Reddy - 1990
I Basic Categories 6 – J. R. B. Cockett - 2010
5 Easiness in graph models – Chantal Berline, Antonino Salibra - 1993
7 A set-theoretical definition of application – Gordon Plotkin - 1972