16 search results - page 1 / 4 » tlca 2009 |
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
TLCA
2009
Springer
13 years 9 months ago
2009
Springer
TLCA
2009
Springer
13 years 9 months ago
2009
Springer
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...