TalTech publikatsioonid
pealdis Veltri, N.
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood ed
keel inglise
autor Veltri, Niccolò
juhendaja Uustalu, Tarmo
Chapman, James
pealkiri A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest
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
url https://digi.lib.ttu.ee/i/?7631