B-systems and C-systems are equivalent

Benedikt Ahrens^*, Jacopo Emmenegger, Paige Randall North, Egbert Rijke

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Article › peer-review

58 Downloads (Pure)

1 results

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