Khamiss, A. M. (1986). Program construction in Martin-Löf's theory of types.
Chicago-Zitierstil (17. Ausg.)Khamiss, Abdel-Aziz M. Program Construction in Martin-Löf's Theory of Types. 1986.
MLA-Zitierstil (9. Ausg.)Khamiss, Abdel-Aziz M. Program Construction in Martin-Löf's Theory of Types. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.