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

vastutusandmed
Niccolò Veltri ; [supervisors: Tarmo Uustalu, James Chapman]
ilmumisaasta
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
konstruktiivne matemaatika
vormimärksõna
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
TTÜ struktuuriüksus
keel
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).