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

author
Veltri, Niccolo
supervisor
author supervisor
Chapman, James
statement of authorship
Niccolò Veltri ; [supervisors: Tarmo Uustalu, James Chapman]
year of publication
2017
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 term
arvutiteadus
konstruktiivne matemaatika
tüübiteooria
subject of form
dissertatsioonid
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
url
https://digi.lib.ttu.ee/i/?7631
TTÜ department
tarkvarateaduse instituut
language
inglise