CiteSeerX — Restrictions, Ranges, Partial Map Categories, and Fibrations

Restrictions, Ranges, Partial Map Categories, and Fibrations

Cached

Download Links

[www.cpsc.ucalgary.ca]

by Unknown Authors

BibTeX

@MISC{_restrictions,ranges,,
    author = {},
    title = {Restrictions, Ranges, Partial Map Categories, and Fibrations},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

47	Categories for the working mathematician, Springer-Verlag - Lane - 1971
38	The theory of constructions: Categorical semantics and topos-theoretic models - Hyland, Pitts - 1985
29	Category Theory for Computing - Barr, Wells - 1999
17	Galois Theories, Cambridge - Borceux, Janelidze - 2001
17	Restriction categories I. Categories of partial maps - Cockett, Lack - 2002
16	Lifting theorems for Kleisli categories - Mulry - 1994
15	A categorical semantics of constructions - Ehrhard - 1988
9	Restriction categories II: Partial map classification - Cockett, Lack
4	Restriction categories III: Partial structures, in preparation - Cockett, Lack - 1988
3	Monads and algebras in the semantics of partial data types - Mulry - 1992
2	Computability and unsolvability McGraw-Hill Book Company Inc New York 1958 S C KLEENE Introduction to metamathematics Van Nostrand New York 1952 P AXT Iteration of primitive recursion Abstract 597-182 - DAVIS - 1963
1	Bicategories of partial maps, Cah. de - Carboni - 1995
1	Semantics of weakening and contraction, Ann - Jacobs
1	Categories of partial maps - Petrich, Semigroups, et al. - 1984