![](/img/cover-not-exists.png)
Inductive types and type constraints in the second-order lambda calculus
Nax Paul MendlerVolume:
51
Year:
1991
Language:
english
Pages:
14
DOI:
10.1016/0168-0072(91)90069-x
File:
PDF, 902 KB
english, 1991