Works matching IS 09601295 AND DT 2024 AND VI 34 AND IP 7
Results: 5
Foreword.
- Published in:
- 2024
- By:
- Publication type:
- Editorial
Universal algebra in UniMath.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 7, p. 869, doi. 10.1017/S0960129524000367
- By:
- Publication type:
- Article
Optimal approximate minimization of one-letter weighted finite automata.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 7, p. 807, doi. 10.1017/S0960129524000276
- By:
- Publication type:
- Article
Synthetic G-jet-structures in modal homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 7, p. 834, doi. 10.1017/S0960129524000355
- By:
- Publication type:
- Article
Automatic differentiation for ML-family languages: Correctness via logical relations.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 7, p. 747, doi. 10.1017/S0960129524000215
- By:
- Publication type:
- Article