2011 Archives by author

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

Starting: Wed Jan 5 03:01:07 EST 2011
Ending: Sun Nov 20 15:38:47 EST 2011
Messages: 26

[TYPES] F omega with sums and commuting conversions Andreas Abel
[TYPES] Types for Open Terms ? Andrea Asperti
[TYPES] Strong Normalization for Coq (CiC) Jean-Philippe Bernardy
[TYPES] System F omega with (equi-)recursive types Frederic Blanqui
[TYPES] Types for Open Terms ? Jacques Carette
[TYPES] Representing inductive types with W-types Peter Dybjer
[TYPES] Types for Open Terms ? Herman Geuvers
[TYPES] F omega with sums and commuting conversions Sam Lindley
[TYPES] Types for Open Terms ? Anthony de Almeida Lopes
[TYPES] Types for Open Terms ? Anthony de Almeida Lopes
[TYPES] System F omega with (equi-)recursive types Florian Lorenzen
[TYPES] System FC: inference rule (EqCo) and grammar for $\kappa$ Adam Megacz
[TYPES] System FC: inference rule (EqCo) and grammar for $\kappa$ Simon Peyton-Jones
[TYPES] Types for Open Terms ? Brigitte Pientka
[TYPES] Types for Open Terms ? Adam Poswolsky
[TYPES] System F omega with (equi-)recursive types Francois Pottier
[TYPES] Types for Open Terms ? Nicolas Pouillard
[TYPES] Time for types-as-arithmetic, by analogy with types-as-propositions? Fritz Ruehr
[TYPES] Representing inductive types with W-types Kristina Sojakova
[TYPES] Strong Normalization for Coq (CiC) Sampo Syreeni
[TYPES] Strong Normalization for Coq (CiC) Eddy Westbrook
[TYPES] Strong Normalization for Coq (CiC) Eddy Westbrook
[TYPES] Strong Normalization for Coq (CiC) Eddy Westbrook
[TYPES] Types for Open Terms ? murdoch gabbay
[TYPES] Representing inductive types with W-types roconnor at theorem.ca
[TYPES] Representing inductive types with W-types roconnor at theorem.ca

Last message date: Sun Nov 20 15:38:47 EST 2011
Archived on: Sun Nov 20 15:54:23 EST 2011

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

This archive was generated by Pipermail 0.09 (Mailman edition).