A small complete category

Annals of Pure and Applied Logic

Volumn 40, Issue 2, 1988, Pages 135-165

  Hyland, J M E ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000429274     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/0168-0072(88)90018-8     Document Type: Article

References (26)

1. Fibred categories and the foundations of naive category theory
2. Stacks and equivalence of indexed categories
3. Constructions: a higher-order proof system for mechanizing mathematics
4. An analysis of Girard's paradox
5. Localization, spectra and sheaf representation
6. Theorie der Numerierungen I
7. Aspects of topoi
8. Interpre´tation functionelle ete´limination des coupures de l'arithme´tique d'ordre supe´rieur
9. The effective topos
10. Tripos Theory
11. On the interpretation of intuitionistic number theory
12. Interpretation of analysis by means of constructive functionals of finite type
13. Equality in hyperdoctrines and comprehension scheme as an adjoint functor
14. First order Categorical Logic
15. Constructive mathematics and computer programming
16. Abstract families and the adjoint functor theorems
17. The theory of triposes
18. Polymorphism is not set-theoretic
19. Continuity and effectiveness in topoi
20. Data types as lattices
21. Locally cartesian closed categories and type theory
22. Higher order polymorphic lambda calculus and categories