Semantics for two-dimensional type theory

Benedikt Ahrens, Paige Randall North, Niels Van Der Weide

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
A theory of type theories
Ahrens, B.
Engineering & Physical Science Research Council
1/03/20 → 31/08/22
Project: Research Councils