Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to higher category theory, we undertake a detailed study of a new...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
LSU
2017
|
| Subjects: | |
| Online Access: | http://etd.lsu.edu/docs/available/etd-01172017-032313/ |