3 ms·
What is "intensional type theory"? Did you mean "intentional"? I know what intentional logic is, but I've never heard of intentional type theory before (and n
by lisper 5y ago
What is "intensional type theory"? Did you mean "intentional"? I know what intentional logic is, but I've never heard of intentional type theory before (and neither has wikipedia).
- 4ad 5y agoAt the risk of more confusion https://ncatlab.org/nlab/show/intensional+type+theory https://ncatlab.org/nlab/show/intensional+type+theory. As a gentle introduction to modern type theory I would recommend https://arxiv.org/abs/1601.05035 https://arxiv.org/abs/1601.05035.