1989
Diploma Thesis
Title

Programmkonstruktion mit Martin-Löfs Typ-Theorie

Thesis Note
Karlsruhe, Univ., Dipl.-Arb., 1989
Author(s)
Dörr, S.
Publishing Place
Karlsruhe
Language
German