pealkiri
A Type-Theoretical Study of Nontermination
Tüübiteoreetiline uurimus mittetermineeruvusest
autor
Veltri, Niccolò
märksõnad
nontermination
delay monad
restriction categories
mittetermineeruvus
hilistusmonaad
kitsenduskategooriad
väljaandja
TTÜ Press
TTÜ Kirjastus
kaitsmiskuupäev
26.05.2017
identifikaator
ISBN 9789949831005 (publication)
ISBN 9789949831012 (pdf)
ISSN 14064731
keel