Extending Partial Combinatory Algebras (1999)


Download Links

by Inge Bethke , Jan Willem Klop , Roel de Vrijer
Citations:1 - 0 self

Active Bibliography

3 Completing Partial Combinatory Algebras with Unique Head-Normal Forms – Inge Bethke, Jan Willem Klop, Roel De Vrijer - 1996
12 Collapsing Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop - 1996
On Completability of Partial – Andrea Asperti, Agata Ciabattoni
7 Effective Applicative Structures – Andrea Asperti, Agata Ciabattoni, Piazza Porta, S. Donato - 1995
I Basic Categories 6 – J. R. B. Cockett - 2010
A lambda-to-CL Translation for Strong Normalization – Yohji Akama - 1997
13 Finite Family Developments – Vincent van Oostrom
18 The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems – Zurab Khasidashvili - 1994
The Dynamics of Information Exchange Dialogues – Balder Ten Cate - 2001
Uniqueness of Normal Forms and Modularity of Confluence for Term Rewriting Systems – Rakesh M. Verma, Rakesh M. Verma - 2011
Confluence of Orthogonal Higher-Order TRSs: Proof by Parallel Moves – Toshiyuki Yamada - 1999
2 For more information about Current Contents on Diskette”’, telephone toll-free 800-336-4474. Outside the US and Canada, call 215-386-0100, ext. 1483, or contact the nearest ISI@ representative listed on the inside front cover of thk issue of Current Conte – Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, C. Pandu Rangan, Bernhard Steffen, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Meersman Tari, Herrero Méndez Cavedon, Martin Hinze, Buchanan Pérez Robles, Humble Albani, Dietz Panetto Scannapieco, Halpin Spyns, Zaha Zimányi Stefanakis, Dillon Feng, Jarrar Lehmann, Robert Meersman, Zahir Tari, Pilar Herrero - 1998
20 Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
4 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
7 J.G.: Infinitary combinatory reduction systems – Jeroen Ketema, Jakob Grue Simonsen - 2005
7 A set-theoretical definition of application – Gordon Plotkin - 1972
40 Set-Theoretical and Other Elementary Models of the lambda-calculus – Gordon Plotkin - 1993
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
4 Standardization and Evaluation in Combinatory Reduction Systems – J. B. Wells, Robert Muller - 2000