Exact Completions and Toposes (2000)

View PDF

Download Links

by Matias Menni
Venue:University of Edinburgh
Citations:14 - 4 self

Documents Related by Co-Citation

39 Some free constructions in realizability and proof theory – A Carboni - 1995
85 The effective topos – J M E Hyland - 1981
200 Sheaves in geometry and logic. A first introduction to topos theory. Corrected reprint of the 1992 edition. Universitext – S Mac Lane, I Moerdijk - 1994
762 Introduction to Metamathematics – S C Kleene
449 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
879 A formulation of the simple theory of types – A Church - 1940
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
514 Categories for the working mathematician – Saunders MacLane - 1971