Active Bibliography

MSc in Logic – Karel Van Oudheusden, Alias Edgar G. Daylight - 2009
Dijkstra’s Rallying Cry for Generalization: The Advent of the Recursive Procedure, late 1950s — early 1960s – Edgar G. Daylight - 2010
5 The history and concept of computability – Robert I. Soare - 1999
3 Computability and Incomputability – Robert I. Soare
32 Computability and recursion – Robert I. Soare - 1996
unknown title – unknown authors
14 Physical Hypercomputation and the Church–Turing Thesis – Oron Shagrir, et al. - 2003
1 One Binary Horn Clause is Enough – Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz - 1994
29 On Folk Theorems – David Harel - 1980
16 The many forms of hypercomputation – Toby Ord - 2006
14 A Family of Syntax Definition Formalisms – Eelco Visser - 1997
2 History of IBM's Technical Contributions to High Level Programming Languages – Jean E. Sammet - 1981
sentence –> <subject> <verb-phrase> <object> subject –> This | Computers | I – Out Written Maggie Johnson, Julie Zelenski - 2012
System Query Language (SyQL) -- An Abstraction Layer for Querying Software Models – Mirco Bianco - 2012
55 Type object – Monte Ransome Johnson - 1997
From Hypocomputation to Hypercomputation – David Love - 2008
languages, stylistic considerations – Ben Shneiderman
8 Smallest Horn Clause Programs – P. Devienne, P. Lebègue, A. Parrain, J. C. Routier, J. Würtz, J. Würtz - 1994
unknown title – R. M. Hierons, M. Harman, C. J. Fox