Algebraic aspects of topos theory
Cahiers de topologie et géométrie différentielle, Tome 22 (1981) no. 2, pp. 129-140. 
@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://archive.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://archive.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://archive.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, Tome 22 (1981) no. 2, pp. 129-140. http://archive.numdam.org/item/CTGDC_1981__22_2_129_0/

1 A. Boileau, Types vs topos, Thesis, Université de Montréal, 1975.

2 A. Bur Roni, 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. Church, A foundation for the simple theory of types, J. Symbolic Logic 5 (1940), 56-68. | JFM | MR

4 M. Coste, Logique d'ordre supérieur dans les topos élémentaires, Séminaire J. Bénabou (1974).

5 H.B. Curry & R. Feys, Combinatory Logic 1, North Holland, 1958. | MR | Zbl

6 M.P. Fourman, The logic of topoi, in J. Barwise, Handbook of mathematical Logic, North-Holland 1977, 1053-1090. | MR

7 A. Grothendieck & J.L. Verdier, Exposé IV in Théorie des topos, Lecture Notes in Math. 269 (SGA 4), Springer (1972). | MR

8 R. Guitart, Les monades involutives en théorie élémentaire des ensembles, C. R. A. S. Paris 277 (1973), 935-937. | MR | Zbl

9 L. Henkin, Completeness in the theory of types, J. Symbolic Logic 15 (1950), 81-91. | MR | Zbl

10 J. Lambek, Deductive systems and categories II, Lecture Notes in Math. 86, Springer (1969), 76-122. | MR | Zbl

11 J. Lambek, Deductive systems and categories III, Lecture Notes in Math. 274 Springer (1969), 57-82. | MR | Zbl

12 J. Lambek, Functional completeness of cartesian categories, Annals of Math. Logic 6 (1974), 259- 292. | MR | Zbl

13 J. Lambek, From types to sets, Advances in Math. 36 (1980), 113-164. | MR | Zbl

14 J. Lambek & P.J. Scott, Intuitionist type theory and the free topos, J. Pure and Applied Algebra 19 (1980), 576-619. | MR | Zbl

15 J. Lambek & P.J. Scott, Intuitionist type theory and foundations, J. Philosophical Logic 7 (1980), 1-14. | MR | Zbl

16 G. Osius, Logical and set theoretical tools in elementary topoi, Lecture Notes in Math. 445, Sp ringe r (1975), 297 - 346. | MR | Zbl

17 H. Volger, Logical and semantical categories and topoi, Lecture Notes in Math. 445, Springer (1975), 87-100. | MR | Zbl