Impredicative Encodings of (Higher) Inductive Types

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 09, 2018
Source ID
10.1145/3209108.3209130

Entities

People

  • Jonas Frey
  • Sam Speight
  • Steve Awodey

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University
  • University of Oxford