|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
1
|
Historical Projects in Discrete Mathematics and Computer Science
– Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
|
|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
1
|
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
- 2009
|
|
7
|
Programmability of Chemical Reaction Networks
– Matthew Cook, David Soloveichik, Erik Winfree, Jehoshua Bruck
|
|
5
|
Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems
– Keiichirou Kusakari
- 2000
|
|
|
Church’s Thesis
– Guram Bezhanishvili
|
|
1
|
A natural axiomatization of Church’s thesis
– Nachum Dershowitz, Yuri Gurevich
- 2007
|
|
1
|
Gödel on computability *
– Wilfried Sieg
|
|
|
Contents
– Karl Svozil
- 2008
|
|
21
|
Information and Computation: Classical and Quantum Aspects
– A. Galindo, M. A. Martín-delgado
- 2001
|
|
25
|
Total Functional Programming
– David Turner
- 2004
|
|
|
Types in Programming Languages
– Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
|
|
|
Mathematical Definability
– Theodore A. Slaman
|
|
10
|
A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS
– Nachum Dershowitz, Yuri Gurevich
|
|
2
|
Physics, Topology, Logic and Computation: A Rosetta Stone
– John C. Baez, Mike Stay
- 2009
|
|
17
|
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
|
|
1
|
A Hypercomputational Alien
– Udi Boker, Nachum Dershowitz
- 2005
|
|
3
|
How to compare the power of computational models
– Udi Boker, Nachum Dershowitz
- 2005
|
