Polynomials and models of type theory
This thesis studies the structure of categories of polynomials, the diagrams that represent polynomial functors. Specifically, we construct new models of intensional dependent type theory based on these categories. Firstly, we formalize the conceptual viewpoint that polynomials are built out of sums...
| Main Author: | |
|---|---|
| Published: |
University of Cambridge
2015
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.681242 |