Shallowly Embedding Type Theories as Presheaf Models in Agda: Extended Abstract

Research output: Unpublished contribution to conferenceUnpublished abstract

33 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Shallowly Embedding Type Theories as Presheaf Models in Agda: Extended Abstract'. Together they form a unique fingerprint.