Active Bibliography

4 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
SUBMITTED TO THE FACULTY OF GRADUATE STUDIES – Xiuzhan Guo - 2012
2 DIFFERENTIAL RESTRICTION CATEGORIES – J. R. B. Cockett, G. S. H. Cruttwell, J. D. Gallagher
What is a differential partial combinatory algebra? – Jonathan Gallagher - 2011
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
1 Locally connected recursion categories – Florian Lengyel - 2006
6 The HasCasl prologue: categorical syntax and semantics of the partial λ-calculus – Lutz Schröder - 2006
5 STABLE MEET SEMILATTICE FIBRATIONS AND FREE RESTRICTION CATEGORIES – J. R. B. Cockett, Xiuzhan Guo
On Completability of Partial – Andrea Asperti, Agata Ciabattoni
3 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten Führmann, Alex Simpson - 2003
4 Restriction categories III: colimits, partial limits, and extensivity – J. R. B. Cockett, Stephen Lack - 2007
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
12 Introducing categories to the practicing physicist. In: What is Category Theory – Bob Coecke - 2006
9 Kindergarten quantum mechanics — lecture notes – Bob Coecke - 2005
7 Equational Theories for Inductive Types – Ralph Loader - 1997
12 Collapsing Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop - 1996