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

autor
Veltri, Niccolo
juhendaja
autor juhendaja
Chapman, James
vastutusandmed
Niccolò Veltri ; [supervisors: Tarmo Uustalu, James Chapman]
ilmumisaasta
2017
seeria-sari
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 123
märksõna
arvutiteadus
konstruktiivne matemaatika
tüübiteooria
vormimärksõna
dissertatsioonid
ISSN
1406-4731
ISBN
978-9949-83-100-5
978-9949-83-101-2 (pdf)
märkused
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
leitav
https://digi.lib.ttu.ee/i/?7631
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise