[TYPES] Y-combinator in Type:Type?

Edsko de Vries devriese at cs.tcd.ie
Fri May 16 04:36:56 EDT 2008

Previous message: [TYPES] analogy between Felleisen's syntactic theories of state andHindley-Milner constraints
Next message: [TYPES] Y-combinator in Type:Type?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Assuming that Type:Type (or *:*) in dependently typed languages is said
to be inconsistent (Girard's paradox?). Does that mean that it is
possible to define a Y combinator in such a language? 

Thanks,

Edsko

Previous message: [TYPES] analogy between Felleisen's syntactic theories of state andHindley-Milner constraints
Next message: [TYPES] Y-combinator in Type:Type?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list