2011 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ 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] 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] Time for types-as-arithmetic, by analogy with types-as-propositions?   Fritz Ruehr
• [TYPES] System F omega with (equi-)recursive types   Florian Lorenzen
  • [TYPES] System F omega with (equi-)recursive types   Francois Pottier
  • [TYPES] System F omega with (equi-)recursive types   Frederic Blanqui
• [TYPES] F omega with sums and commuting conversions   Sam Lindley
  • [TYPES] F omega with sums and commuting conversions   Andreas Abel
• [TYPES] Types for Open Terms ?   Jacques Carette
  • [TYPES] Types for Open Terms ?   Anthony de Almeida Lopes
    • [TYPES] Types for Open Terms ?   Anthony de Almeida Lopes
  • [TYPES] Types for Open Terms ?   Nicolas Pouillard
  • [TYPES] Types for Open Terms ?   Herman Geuvers
    • [TYPES] Types for Open Terms ?   Andrea Asperti
  • [TYPES] Types for Open Terms ?   murdoch gabbay
  • [TYPES] Types for Open Terms ?   Brigitte Pientka
    • [TYPES] Types for Open Terms ?   Adam Poswolsky
• [TYPES] Strong Normalization for Coq (CiC)   Eddy Westbrook
  • [TYPES] Strong Normalization for Coq (CiC)   Sampo Syreeni
    • [TYPES] Strong Normalization for Coq (CiC)   Eddy Westbrook
  • [TYPES] Strong Normalization for Coq (CiC)   Jean-Philippe Bernardy
    • [TYPES] Strong Normalization for Coq (CiC)   Eddy Westbrook
• [TYPES] Representing inductive types with W-types   roconnor at theorem.ca
  • [TYPES] Representing inductive types with W-types   Kristina Sojakova
  • [TYPES] Representing inductive types with W-types   Peter Dybjer
  • [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: [ subject ] [ author ] [ date ]
• More info on this list...