A. Bizjak

Latest

• A Model of Countable Nondeterminism in Guarded Type Theory