16 search results - page 1 / 4 » tlca 2009 |
109
Voted
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
121
Voted
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
132
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
153
Voted
TLCA
2009
Springer
15 years 10 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 ...