Bibliografía (7 obras)
Sketches of an elephant
2002
Category theory and computer science
1995
Applications of Categories in Computer Science
1992
Notes on logic and set theory
1987
Stone spaces
1982
Indexed categories and their applications
1978
Topos theory
1977
