![](/img/cover-not-exists.png)
Domain interpretations of martin-löf’s partial type theory
Erik Palmgren, Viggo Stoltenberg-HansenVolume:
48
Year:
1990
Language:
english
Pages:
62
DOI:
10.1016/0168-0072(90)90044-3
File:
PDF, 3.70 MB
english, 1990