*-calculus and Combinatory Logic (2001)


Download Links

by Unknown Authors

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
2 Rewriting Systems – Johan Boye, Jan Maluszynski, Ulf Nilsson - 1999
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
Inaccessibility and undecidability in computation, geometry and dynamical systems – Asaki Saito , Kunihiko Kaneko - 2001
Automata and Formal Languages – Dominique Perrin - 2003
1 Computability – Tao Jiang, Bala Ravikumar, Ming Li
Cognitive Science – Cover Design, Kai-uwe Kühnberger, Peter König, Petra Ludewig, Thorsten Hinrichs, Universität Osnabrück, Nicolas Neubauer
DOI 10.3233/FI-2010-306 IOS Press Church–Rosser Made Easy – unknown authors
75 Continuation-Based Multiprocessing – Mitchell Wand - 1980
1 Higher-order subtyping and its decidability – Adriana Compagnoni
HISTORY AND PHILOSOPHY OF LOGIC, 24 (2003), 15–37 Russell’s 1903 – 1905 Anticipation of the Lambda Calculus – Kevin C. Klement - 2002
13 Finite Family Developments – Vincent van Oostrom
NOTES on LAMBDA CALCULUS – David Martin Fall, David F. Martin
78 Higher-order narrowing with definitional trees – Michael Hanus, Christian Prehofer - 1996
Rewriting Systems – Lecture Notes, Johan Boye, Ulf Nilsson
Before we begin: Thank you, thank you, thank you,... Walter.WassollmanzudiesemMannnochsagen? – Stefan Müller, Molekulare Strukturbiologie, Den Meisterdenkern, Peter Peter, Und Ivo, Den Gesellen Christoph, Stephan Und Alex, Den Lehrlingen Thomas, Andreas Günther Roman, Dagmar Und Michael Zusammenfassung
On the Role of Implication in Formal Logic – Jonathan Seldin, As A - 1998
On the Role of Implication in Formal Logic – Jonathan Seldin Department, Jonathan P. Seldin, As A
1 Curry's Anticipation of the Types Used in Programming Languages – Jonathan P. Seldin - 2003