Search
Search Constraints
You searched for: Author/Creator Coquand, Thierry- Coquand, Thierry [remove] 5
- 004.015105 3
- Computer science -- Mathematics -- Periodicals 3
- 160.905 1
- 511.3 1
- Dependent type theory -- generalized algebraic theory -- category with families -- initial model -- internal category -- Martin-Löf type theory 1
- Dependent type theory -- homotopy type theory -- sheaf models -- constructive models of univalence -- left-exact modalities 1
- Logic -- Periodicals 1
- Logic, Symbolic and mathematical -- Periodicals 1
- Mathematical analysis -- Periodicals 1
- Type theory -- homotopy type theory -- cubical type theory 1