TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 


(1 MB)

Pealkiri A Type-Theoretical Study of Nontermination. Tüübiteoreetiline uurimus mittetermineeruvusest 
Valdkond Informatics and System Engineering C
Informaatika ja süsteemitehnika C 
Autor Veltri, Niccolò 
Märksõnad nontermination, delay monad, restriction categories, type theory, Agda, dissertations,
mittetermineeruvus, hilistusmonaad, kitsenduskategooriad, tüübiteooria, Agda, dissertatsioonid 
Väljaandja TTÜ Press
TTÜ Kirjastus 
Juhendaja Uustalu, Tarmo ; Chapman, James 
Kaitsmiskuupäev 26.05.2017 
Identifikaator ISBN 9789949831005 (publication)
ISBN 9789949831012 (pdf)
ISSN 14064731 
Keel eng 
Asutus Tallinn University of Technology
Tallinna Tehnikaülikool 
Teaduskond School of Information Technologies
Infotehnoloogia teaduskond 
Instituut / kolledž Department of Software Science
Tarkvarateaduse instituut