Active Bibliography

1 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
DIFFERENTIAL RESTRICTION CATEGORIES – J. R. B. Cockett, G. S. H. Cruttwell, J. D. Gallagher
1 Locally connected recursion categories – Florian Lengyel - 2006
3 Completing Partial Combinatory Algebras with Unique Head-Normal Forms – Inge Bethke, Jan Willem Klop, Roel De Vrijer - 1996
1 Extending Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop, Roel de Vrijer - 1999
3 STABLE MEET SEMILATTICE FIBRATIONS AND FREE RESTRICTION CATEGORIES – J. R. B. Cockett, Xiuzhan Guo
6 The HasCasl prologue: categorical syntax and semantics of the partial λ-calculus – Lutz Schröder - 2006
On Completability of Partial – Andrea Asperti, Agata Ciabattoni
3 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten Führmann, Alex Simpson - 2003
2 Restriction categories III: colimits, partial limits, and extensivity – J. R. B. Cockett, Stephen Lack - 2006
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
18 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
39 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
6 Kindergarten quantum mechanics — lecture notes – Bob Coecke - 2005
6 Equational Theories for Inductive Types – Ralph Loader - 1997
Restriction Categories and M-Categories – Jonathan Gallagher - 2010
12 Collapsing Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop - 1996
5 A Limiting First Order Realizability Interpretation – Masahiro Nakata, Susumu Hayashi
19 Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988