Developing Theories of Types and Computability via Realizability

Developing Theories of Types and Computability via Realizability (2000)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Lars Birkedal

Citations:

18 - 6 self

BibTeX

@MISC{Birkedal00developingtheories,
    author = {Lars Birkedal},
    title = {Developing Theories of Types and Computability via Realizability},
    year = {2000}
}

Bookmark

OpenURL

Abstract

We investigate the development of theories of types and computability via realizability.

Citations

909	Introduction to Lattices and Order - Davey, Priestley - 1990
816	S.: Categories for the working mathematician - Lane - 1998
379	Introduction to Higher Order Categorical Logic - Lambek, Scott - 1986
157	Topos theory - Johnstone - 1977
150	Sheaves in Geometry and Logic: A First Introduction to Topos Theory - Lane, S, et al. - 1992
97	Computation and Reasoning: A Type Theory for Computer Science - Luo - 1994
85	R.F.C.Walters. Introduction to extensive and distributive categories - Carboni, Lack - 1993
83	The HOL logic - Pitts - 1993
77	The Effective Topos - Hyland - 1982
76	Categories for types - Crole - 1993
59	Categories of continuous functors I - Freyd, Kelly - 1972
55	Structural induction and coinduction in a fibrational setting - Hermida, Jacobs - 1998
55	Realizability Toposes and Language Semantics - Longley - 1995
53	Equality in hyperdoctrines and comprehension schema as an adjoint functor, Applications of Categorical Algebra (Proc - Lawvere - 1968
51	Categories of partial maps - Robinson, Roslini - 1988
47	Generalized algebraic theories and contextual categories - Cartmell - 1986
47	Locally cartesian closed categories and type theory - Seely - 1984
43	Sheaves and logic - Fourman, Scott - 1979
42	Continuity and effectiveness in topoi - Rosolini - 1986
39	Aspects of topoi - Freyd - 1972
39	Categorical Type Theory - Jacobs - 1991
38	The theory of constructions: Categorical semantics and topos-theoretic models - Hyland, Pitts - 1985
37	Fibred categories and the foundation of naive category theory - Bénabou - 1985
36	The sequentially realizable functionals - Longley
35	Categorical Logic and Type Theory, volume 141 - Jacobs - 1999
33	Regular and exact completions - Carboni, Vitale - 1998
32	Some free constructions in realizability and proof theory - Carboni - 1995
32	On the interpretation of type theory in locally cartesian closed categories - Hofmann - 1995
30	A note on inconsistencies caused by fixpoints in a cartesian closed category - Huwig, Poigné - 1990
27	Proper maps of toposes - Moerdijk, Vermeulen
27	Relating theories of the lambda calculus - Scott - 1980
25	Handbook of Categorical Algebra I: Basic Category Theory - Borceux - 1994
23	Intuitionistic necessity revisited - Bierman, Paiva - 1996
23	An introduction to fibrations, topos theory, the effective topos and modest sets. Lecture - Phoa
21	Locally cartesian closed exact completions - Carboni, Rosolini - 2000
21	A combinatory algebra for sequential functionals of finite type - Oosten - 1997
19	The Theory of Triposes - Pitts - 1981
17	On a topological topos - Johnstone - 1979
15	A categorical semantics of constructions - Ehrhard - 1988
15	Program Verification in Synthetic Domain Theory - Reus - 1995
14	Handbook of categorical algebra II, Categories and structures - Borceux - 1994
13	Some thoughts on the future of category theory, Category Theory - Lawvere - 1990
12	Modal and tense predicate logic: models in presheaves and categorical conceptualization - Ghilardi, Meloni - 1988
12	Colimit completions and the effective topos - Robinson, Rosolini - 1990
11	Logical Predicates and Indeterminates - Fibrations - 1993
11	Spaces, volume 3 of Cambridge Studies in Advanced Mathematics - Stone - 1982
9	Comprehension categories and the semantics of type dependency - Jacobs - 1993
9	Toposes generated by codiscrete objects, in combinatorial topology and functional analysis, Notes for Colloquium lectures given at North - Lawvere - 1988
9	Tripos theory in retrospect - Pitts
9	Extensional realizability - Oosten - 1993