16 search results - page 1 / 4 » tlca 2009 |
TLCA
2009
Springer
14 years 25 days ago
2009
Springer
TLCA
2009
Springer
13 years 10 months ago
2009
Springer
TLCA
2009
Springer
13 years 10 months ago
2009
Springer
TLCA
2009
Springer
14 years 25 days ago
2009
Springer
TLCA
2009
Springer
14 years 25 days 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 ...