Normalization and the Yoneda Embedding

Cached

Download Links

by Djordje Cubric , Peter Dybier , Philip Scott
Citations:22 - 3 self

Active Bibliography

36 Internal Type Theory – Peter Dybjer - 1996
16 Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids – Ilya Beylin, Peter Dybjer - 1995
SKEW MONOIDALES, SKEW WARPINGS AND QUANTUM CATEGORIES – Stephen Lack, Ross Street
2 Balanced Coalgebroids – Paddy McCrudden - 2000
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
5 Formalizing categorical models of type theory in type theory – Alexandre Buisse, Peter Dybjer - 2007
30 Setoids in Type Theory – Gilles Barthe, Venanzio Capretta, Olivier Pons - 2000
12 Normal Forms and Cut-Free Proofs as Natural Transformations – Jean-Yves Girard, Andre Scedrov, Philip J. Scott - 1992
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
32 Operads In Higher-Dimensional Category Theory – Tom Leinster - 2004
44 Intuitionistic Model Constructions and Normalization Proofs – Thierry Coquand, Peter Dybjer - 1998
1 An ALF Proof of the Mac Lane's Coherence Theorem – Ilya Beylin, Peter Dybjer - 1995
Fibrational Classification of Positive Horn Theories – Dirk Pattinson - 1998
3 On the geometry of intuitionistic S4 proofs – Jean Goubault-larrecq, Eric Goubault - 2003
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli countermodels. – James Lipton, Lauchli Countermodels, Michael J. O'donnell - 1996
1 Localizations of Transfors – Sjoerd E. Crans - 1998
6 Homotopy algebras for operads – Tom Leinster
33 Representable Multicategories – Claudio Hermida - 2000
1 On Braidings, Syllepses, and Symmetries – Sjoerd E. Crans - 1998