Guarded Computational Type Theory

Document Details

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

Entities

People

  • Jonathan Sterling
  • Robert Harper

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University