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

23 Indexed Containers – Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor Mcbride, Peter Morris
40 Categories of Containers – Michael Abbott, Thorsten Altenkirch, Neil Ghani - 2003
37 Wellfounded Trees in Categories – Ieke Moerdijk, Erik Palmgren, Ieke Moerdijk (utrecht - 1999
63 Containers: Constructing strictly positive types – M Abbott, T Altenkirch, N Ghani - 2005
342 Intuitionistic type theory – P Martin-Löf - 1984
38 Algebraic Set Theory – A Joyal, I Moerdijk - 1995
35 Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST – Ieke Moerdijk, Erik Palmgren - 2000
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
43 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
15 Representing Inductively Defined Sets by Wellorderings in Martin-Löf's Type Theory – Peter Dybjer - 1996
79 Foncteurs analytiques et espèces de structures – André Joyal - 1985
56 Locally cartesian closed categories and type theory – Robert A G Seely - 1984
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
198 Locally Presentable and Accessible Categories – J Adamek, J Rosicky - 1994
41 A completeness theorem for open maps – A Joyal, I Moerdijk - 1997
46 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly - 1980
125 The formal theory of monads – Ross Street - 1972
74 Higher dimensional algebra III: n-categories and the algebra of opetopes – John C. Baez, James Dolan - 1997