|
|||||
|
|
The identity type weak factorisation system |
|
| Authors: | Nicola Gambino Richard Garner |
| Affiliation: | 1. Department of Computer Science, University of Leicester, University Road, LE1 7RH, England, UK;2. Centre de Recerca Matemàtica, Apartat 50, E-08193 Bellaterra, Spain;3. Department of Mathematics, Uppsala University, Box 480, S-751 06, Uppsala, Sweden |
| Abstract: | |
| Keywords: | Dependent type theory Identity type Weak factorisation system |
| 本文献已被 ScienceDirect 等数据库收录！ | |