A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolo
2017
https://digi.lib.ttu.ee/i/?7631