Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 5
Results: 3
Convenient antiderivatives for differential linear categories.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 5, p. 545, doi. 10.1017/S0960129520000158
- By:
- Publication type:
- Article
Nilpotent types and fracture squares in homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 5, p. 511, doi. 10.1017/S0960129520000146
- By:
- Publication type:
- Article
Implicative algebras: a new foundation for realizability and forcing.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 5, p. 458, doi. 10.1017/S0960129520000079
- By:
- Publication type:
- Article