L. Birkedal

Latest

• A Model of Countable Nondeterminism in Guarded Type Theory