2016 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Thu Feb 18 19:12:33 EST 2016
Ending: Thu Dec 29 14:10:49 EST 2016
Messages: 22

• [TYPES] Erasure and equality proofs   Andreas Abel
• [TYPES] Types theories with first-class definitional extensions   Frédéric Blanqui
• [TYPES] Types theories with first-class definitional extensions   William J. Bowman
• [TYPES] Fwd: Denotational semantics of Fω with type- & term-recursion   Yufei Cai
• [TYPES] Types theories with first-class definitional extensions   Jacques Carette
• [TYPES] Types theories with first-class definitional extensions   Jacques Carette
• [TYPES] decidability of BCCCs?   Roberto Di Cosmo
• [TYPES] Types theories with first-class definitional extensions   Herman Geuvers
• [TYPES] Founding papers on Kinds   Aaron Gray
• [TYPES] Wanted: A space of retracts, manuscript, Dana Scott 1980 Merton College, Oxford   Aaron Gray
• [TYPES] Types theories with first-class definitional extensions   Michael Greenberg
• [TYPES] Types theories with first-class definitional extensions   Robert Harper
• [TYPES] Foundations of Mathematics: Type Theory after Church's Simple Theory of Types (1940)   Ken Kubota
• [TYPES] independence of AC! or AC from CIC   Maria Emilia Maietti
• [TYPES] Fwd: Denotational semantics of Fω with type- & term-recursion   Eugenio Moggi
• [TYPES] Erasure and equality proofs   Stefan Monnier
• [TYPES] Erasure and equality proofs   Stefan Monnier
• [TYPES] Types theories with first-class definitional extensions   Frank Pfenning
• [TYPES] decidability of BCCCs?   Gabriel Scherer
• [TYPES] decidability of BCCCs?   Gabriel Scherer
• [TYPES] HOAS Techniques in Verified Transformations on Functional Programs   Yuting Wang
• [TYPES] independence of AC! or AC from CIC   streicher at mathematik.tu-darmstadt.de

Last message date: Thu Dec 29 14:10:49 EST 2016
Archived on: Sat Dec 31 03:34:57 EST 2016

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...