WorldCat Identities

Johnstone, P. T.

Overview
Works: 26 works in 187 publications in 4 languages and 3,814 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, ed
Classifications: QA169, 512.55
Publication Timeline
.
Most widely held works by P. T Johnstone
Stone spaces by P. T Johnstone( Book )

28 editions published between 1982 and 2002 in 3 languages and held by 571 WorldCat member libraries worldwide

Topos theory by P. T Johnstone( Book )

29 editions published between 1977 and 2014 in 3 languages and held by 441 WorldCat member libraries worldwide

One of the best books on a relatively new branch of mathematics, this volume focuses on how topos theory integrates geometric and logical ideas into the foundations of mathematics and theoretical computer science. Topics include internal category theory, topologies and sheaves, geometric morphisms, natural number objects, cohomology, set theory, and more
Notes on logic and set theory by P. T Johnstone( Book )

17 editions published between 1987 and 1996 in English and held by 399 WorldCat member libraries worldwide

Indexed categories and their applications by P. T Johnstone( Book )

24 editions published between 1978 and 1987 in English and German and held by 390 WorldCat member libraries worldwide

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 by M. P Fourman( Book )

13 editions published in 1992 in English and held by 275 WorldCat member libraries worldwide

Selected papers reflecting current research in categories and computer science
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings by David C Pitt( Book )

6 editions published in 1995 in English and held by 253 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
Sketches of an elephant : a topos theory compendium by P. T Johnstone( Book )

19 editions published between 2002 and 2008 in English and held by 184 WorldCat member libraries worldwide

Sketches of an elephant : a topos theory compendium. Vol. 2 by P. T Johnstone( Book )

13 editions published between 2002 and 2008 in English and Undetermined and held by 47 WorldCat member libraries worldwide

Sketches of an elephant : a topos theory compendium by P. T Johnstone( Book )

13 editions published between 2002 and 2008 in English and Undetermined and held by 40 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

Factorization and pullback theorems for localic geometric morphisms by P. T Johnstone( Book )

2 editions published between 1978 and 1979 in English and held by 3 WorldCat member libraries worldwide

Some aspects of internal category theory in an elementary topos by P. T Johnstone( Book )

3 editions published in 1974 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

Classifying Toposes for First Order Theories by Carsten Butz( Book )

2 editions published in 1997 in English and held by 2 WorldCat member libraries worldwide

Applications of categories in computer science : proceedings of the LMS Symposium, Durham, (20-30 July) 1991( Book )

1 edition published in 1992 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

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

Category theory and computer science : 6th international conference, CTCS '95, Cambridge, United Kingdom, August 1995 ; proceedings by David C Pitt( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

Category theory and computer science : 6th International conference : Papers( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.04 for Applicatio ... to 1.00 for Applicatio ...)

Stone spaces
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-

Peter Johnstone britischer Mathematiker

Peter Johnstone Mathematician

Peter Johnstone mathmaticien britannique

Питер Джонстон математик

Languages
English (165)

Russian (6)

German (2)

Spanish (1)

Covers
Notes on logic and set theoryIndexed categories and their applicationsApplications of categories in computer science : proceedings of the LMS Symposium, Durham 1991Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedingsSketches of an elephant : a topos theory compendiumSketches of an elephant : a topos theory compendium. Vol. 2Sketches of an elephant : a topos theory compendiumApplications of categories in computer science : proceedings of the LMS Symposium, Durham, (20-30 July) 1991