A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest

statement of authorship
Niccolò Veltri ; [supervisors: Tarmo Uustalu, James Chapman]
year of publication
series
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 123
subject of form
ISSN
1406-4731
ISBN
978-9949-83-100-5
978-9949-83-101-2 (pdf)
notes
Includes bibliogr
Kättesaadav ka võrguteavikuna
Kokkuvõte eesti keeles, lk. 131-132
Autori CV inglise ja eesti keeles, lk. 133-136
Thesis (Ph.D. in Informatics) : Tallinn University of Technology, 2017
TTÜ department
language
inglise
Veltri, N. A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest., 2017. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 123). https://digi.lib.ttu.ee/i/?7631