A Model of Countable Nondeterminism in Guarded Type Theory

A Bizjak, L Birkedal, M Miculan
2014-01-01
Cite DOI
Type
Conference paper