Home

J._B.__Wells


A calculus with polymorphic and polyvariant flow types

Typability and type checking in the second-order -calculus are equivalent and undecidable

Typability is undecidable for F+eta