|
|||||
|
|
Univalent polymorphism |
|
| Affiliation: | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, P.O. Box 94242, 1090 GE Amsterdam, the Netherlands |
| Abstract: | |
| Keywords: | Impredicative type theory Realizability Homotopy type theory Categorical semantics |
| 本文献已被 ScienceDirect 等数据库收录！ | |