Introduction to Turing categories

Cached

Download Links

by J. R. B. Cockett , Pieter J. W. Hofstra
Citations:4 - 1 self

Active Bibliography

I Basic Categories 6 – J. R. B. Cockett - 2010
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
3 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten Führmann, Alex Simpson - 2003
SUBMITTED TO THE FACULTY OF GRADUATE STUDIES – Xiuzhan Guo - 2012
1 Sheaf Toposes for Realizability – Steven Awodey, Andrej Bauer - 2001
Recommended Citation – Steve Awodey, Andrej Bauer, Steven Awodey, Andrej Bauer - 2004
6 Oosten. Ordered partial combinatory algebras – Pieter Hofstra, Jaap Van Oosten - 1992
3 Equational lifting monads – Anna Bucalo, Carsten Führmann, Alex Simpson - 1999
6 The HasCasl prologue: categorical syntax and semantics of the partial λ-calculus – Lutz Schröder - 2006
HasCasl -- Integrated functional . . . – Lutz Schröder, Till Mossakowski, Christian Maeder - 2004
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
What is a differential partial combinatory algebra? – Jonathan Gallagher - 2011
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
2 Partial Morphisms in Categories of Effective Objects – Eugenio Moggi - 1996
29 Restriction categories I: Categories of partial maps – Stephen Lack - 2001
2 Realizability: A historical essay – Jaap Van Oosten - 2000
12 Notions of computability at higher types I – John Longley - 2005
1 Computability structures, simulations and realizability – John Longley - 2011