Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gambino, Nicola - Department of Computer Science, University of Leicester
SHEAF INTERPRETATIONS FOR GENERALISED PREDICATIVE
THE ASSOCIATED SHEAF FUNCTOR THEOREM IN ALGEBRAIC SET THEORY
Heyting-valued interpretations for Constructive Set Theory
THE GENERALISED TYPE-THEORETIC INTERPRETATION OF CONSTRUCTIVE SET THEORY
PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO
Wellfounded Trees and Dependent Polynomial Functors
Collection Principles in Dependent Type Theory
Under consideration for publication in Math. Struct. in Comp. Science Spatiality for formal topologies
HOMOTOPY LIMITS FOR 2-CATEGORIES NICOLA GAMBINO
