![](/img/cover-not-exists.png)
Remarks on Martin-Löf's partial type theory
Erik Palmgren, Viggo Stoltenberg-HansenVolume:
32
Year:
1992
Language:
english
Pages:
14
Journal:
BIT Numerical Mathematics
DOI:
10.1007/bf01995109
File:
PDF, 814 KB
english, 1992