title
A Type-Theoretical Study of Nontermination
Tüübiteoreetiline uurimus mittetermineeruvusest
series
Informatics and System Engineering C
Informaatika ja süsteemitehnika C
author
Veltri, Niccolò
keywords
nontermination
delay monad
restriction categories
type theory
Agda
dissertations
mittetermineeruvus
hilistusmonaad
kitsenduskategooriad
tüübiteooria
Agda
dissertatsioonid
publisher
TTÜ Press
TTÜ Kirjastus
supervisor
Uustalu, Tarmo
Chapman, James
defence date
26.05.2017
identifier
ISBN 9789949831005 (publication)
ISBN 9789949831012 (pdf)
ISSN 14064731
language
eng
institution
Tallinn University of Technology
Tallinna Tehnikaülikool
faculty
School of Information Technologies
Infotehnoloogia teaduskond
department / college
Department of Software Science
Tarkvarateaduse instituut