@article{CTGDC_1981__22_2_129_0, author = {Lambek, J. and Scott, P. J.}, title = {Algebraic aspects of topos theory}, journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle}, pages = {129--140}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {22}, number = {2}, year = {1981}, mrnumber = {649793}, zbl = {0473.03064}, language = {en}, url = {http://www.numdam.org/item/CTGDC_1981__22_2_129_0/} }
TY - JOUR AU - Lambek, J. AU - Scott, P. J. TI - Algebraic aspects of topos theory JO - Cahiers de topologie et géométrie différentielle PY - 1981 SP - 129 EP - 140 VL - 22 IS - 2 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://www.numdam.org/item/CTGDC_1981__22_2_129_0/ LA - en ID - CTGDC_1981__22_2_129_0 ER -
%0 Journal Article %A Lambek, J. %A Scott, P. J. %T Algebraic aspects of topos theory %J Cahiers de topologie et géométrie différentielle %D 1981 %P 129-140 %V 22 %N 2 %I Dunod éditeur, publié avec le concours du CNRS %U http://www.numdam.org/item/CTGDC_1981__22_2_129_0/ %G en %F CTGDC_1981__22_2_129_0
Lambek, J.; Scott, P. J. Algebraic aspects of topos theory. Cahiers de topologie et géométrie différentielle, Volume 22 (1981) no. 2, pp. 129-140. http://www.numdam.org/item/CTGDC_1981__22_2_129_0/
1 Types vs topos, Thesis, Université de Montréal, 1975.
,2 Sur une utilisation des graphes dans le langage de la logique, ( Colloque d'Amiens 1980), Cahiers de Topo. et Géom. Diff. ( à paraître).
,3 A foundation for the simple theory of types, J. Symbolic Logic 5 (1940), 56-68. | JFM | MR
,4 Logique d'ordre supérieur dans les topos élémentaires, Séminaire J. Bénabou (1974).
,5 Combinatory Logic 1, North Holland, 1958. | MR | Zbl
& ,6 The logic of topoi, in J. Barwise, Handbook of mathematical Logic, North-Holland 1977, 1053-1090. | MR
,7 Exposé IV in Théorie des topos, Lecture Notes in Math. 269 (SGA 4), Springer (1972). | MR
& ,8 Les monades involutives en théorie élémentaire des ensembles, C. R. A. S. Paris 277 (1973), 935-937. | MR | Zbl
,9 Completeness in the theory of types, J. Symbolic Logic 15 (1950), 81-91. | MR | Zbl
,10 Deductive systems and categories II, Lecture Notes in Math. 86, Springer (1969), 76-122. | MR | Zbl
,11 Deductive systems and categories III, Lecture Notes in Math. 274 Springer (1969), 57-82. | MR | Zbl
,12 Functional completeness of cartesian categories, Annals of Math. Logic 6 (1974), 259- 292. | MR | Zbl
,13 From types to sets, Advances in Math. 36 (1980), 113-164. | MR | Zbl
,14 Intuitionist type theory and the free topos, J. Pure and Applied Algebra 19 (1980), 576-619. | MR | Zbl
& ,15 Intuitionist type theory and foundations, J. Philosophical Logic 7 (1980), 1-14. | MR | Zbl
& ,16 Logical and set theoretical tools in elementary topoi, Lecture Notes in Math. 445, Sp ringe r (1975), 297 - 346. | MR | Zbl
,17 Logical and semantical categories and topoi, Lecture Notes in Math. 445, Springer (1975), 87-100. | MR | Zbl
,