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