Semantics for two-dimensional type theory

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 02, 2022
Source ID
10.1145/3531130.3533334

Entities

People

  • Benedikt Ahrens
  • Niels Van Der Weide
  • Paige Randall North

Organizations

  • Air Force Office of Scientific Research
  • Delft University of Technology
  • Engineering and Physical Sciences Research Council
  • Radboud University Nijmegen
  • University of Pennsylvania