Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Impredicative Encodings of Inductive Types in Homotopy Type Theory

Impredicative Encodings of Inductive Types in Homotopy Type Theory

Sam Speight

School
Carnegie Mellon University‚ Pittsburgh‚ USA
Year
2017

Links

Back to Top