Johnstone, P. T.Overview
Publication Timeline
Most widely held works by
P. T Johnstone
Stone spaces
by P. T Johnstone
(
Book
)
23 editions published between 1982 and 2002 in English and Undetermined and held by 559 WorldCat member libraries worldwide
Indexed categories and their applications
by P. T Johnstone
(
Book
)
19 editions published in 1978 in English and German and held by 467 WorldCat member libraries worldwide
Notes on logic and set theory
by P. T Johnstone
(
Book
)
15 editions published between 1987 and 1996 in English and held by 390 WorldCat member libraries worldwide
Topos theory
by P. T Johnstone
(
Book
)
14 editions published between 1977 and 2014 in 3 languages and held by 386 WorldCat member libraries worldwide
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 711, 1995 : proceedings
by David Pitt
(
Book
)
10 editions published in 1995 in English and held by 305 WorldCat member libraries worldwide This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995. The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory
Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991
by M. P Fourman
(
Book
)
12 editions published in 1992 in English and held by 296 WorldCat member libraries worldwide Selected papers reflecting current research in categories and computer science
Sketches of an elephant : a topos theory compendium
by P. T Johnstone
(
Book
)
17 editions published between 2002 and 2008 in English and held by 176 WorldCat member libraries worldwide
Sketches of an elephant : a topos theory compendium
by P. T Johnstone
(
Book
)
10 editions published between 2002 and 2008 in English and Undetermined and held by 33 WorldCat member libraries worldwide
Sketches of an elephant : a topos theory compendium
by P. T Johnstone
(
Book
)
11 editions published between 2002 and 2008 in English and Undetermined and held by 32 WorldCat member libraries worldwide
Category theory 1999 : selected papers : conference held in Coimbra in honour of the 90th birthday of Saunders Mac Lane
by Category Theory 1999
(
Book
)
5 editions published in 2002 in English and held by 8 WorldCat member libraries worldwide
Teoriia Toposov
by P. T Johnstone
(
Book
)
1 edition published in 1986 in Russian and held by 2 WorldCat member libraries worldwide
Teoriâ toposov
by P. T Johnstone
(
Book
)
2 editions published in 1986 in Russian and held by 2 WorldCat member libraries worldwide
Factorization and pullback theorems for localic geometric morphisms
by P. T Johnstone
(
Book
)
1 edition published in 1979 in English and held by 2 WorldCat member libraries worldwide
Applications of categories in computer science : proceedings of the LMS Society Symposium Durham, 1991
(
Book
)
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
Special volume on the occasion of the 60th birthday of Professors Peter J. Freyd
(
Book
)
1 edition published in 1997 in English and held by 2 WorldCat member libraries worldwide
Some aspects of internal category theory in an elementary topos
by P. T Johnstone
(
Book
)
2 editions published in 1974 in English and held by 2 WorldCat member libraries worldwide
P.T. Johnstone [u.a.] Indexed categories and their applications
(
Book
)
1 edition published in 1978 in Undetermined and held by 1 WorldCat member library worldwide
Classifying toposes for first order theories
by Carsten Butz
(
Book
)
1 edition published in 1997 in English and held by 1 WorldCat member library worldwide
Category theory and computer science : 6th international conference, CTCS '95, Cambridge, United Kingdom, August 1995 ; proceedings
(
Book
)
1 edition published in 1995 in English and held by 1 WorldCat member library worldwide
Conference held in Coimbra in honour of the 90th birthday of Saunders Mac Lane : selected papers
(
Book
)
1 edition published in 2002 in English and held by 1 WorldCat member library worldwide more
fewer
Audience Level
Related Identities
Associated Subjects
Algebra Algebra, Boolean Algebra, Universal Categories (Mathematics) Computer programming Computer science Computer scienceMathematics Functional analysis Ktheory Logic, Symbolic and mathematical Logic design Mathematics Morphisms (Mathematics) Representations of algebras Set theory Software engineering Topology Toposes

Alternative Names
Džonston, P. T.
Džonston, Piter T.
Džonston, Piter T., 1948
Johnstone, P. T.
Johnstone, P.T., 1948
Johnstone, Peter.
Johnstone, Peter T.
Johnstone, Peter T., 1948
Languages
Covers
