Computational higher-dimensional type theory

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2017
Source ID
10.1145/3009837.3009861

Entities

People

  • Carlo Angiuli
  • Robert Harper
  • Todd Wilson

Organizations

  • Air Force Office of Scientific Research
  • California State University, Fresno
  • Carnegie Mellon University