Wellfounded Trees and Dependent Polynomial Functors (2004)

Cached

Download Links

by Nicola Gambino , Martin Hyland
Venue:OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:26 - 4 self

Documents Related by Co-Citation

61 Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics – M Abott, T Altenkirch, N Ghani
22 Indexed Containers – Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor Mcbride, Peter Morris
38 Wellfounded Trees in Categories – Ieke Moerdijk, Erik Palmgren, Ieke Moerdijk (utrecht - 1999
40 Categories of Containers – Michael Abbott, Thorsten Altenkirch, Neil Ghani - 2003
40 Algebraic Set Theory – A Joyal, I Moerdijk - 1995
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
37 Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST – Ieke Moerdijk, Erik Palmgren - 2000
42 A completeness theorem for open maps – A Joyal, I Moerdijk - 1994
44 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
11 Predicative algebraic set theory. Theory and Applications of Categories 15(1 – S Awodey, M A Warren - 2005
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994
120 The type theoretic interpretation of constructive set theory: inductive definitions – Peter Aczel - 1986
27 Elementary axioms for categories of classes – A K Simpson - 1999
24 Sheaf Models for Set Theory – M P Fourman - 1980
23 The consistency of classical set theory relative to a set theory with intuitionistic logic – H Friedman - 1973
10 Coalgebras in a category of classes – M A Warren - 2007
45 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly