Works matching IS 09601295 AND DT 2023 AND VI 33 AND IP 3
Results: 1
A general framework for the semantics of type theory.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 3, p. 134, doi. 10.1017/S0960129523000208
- By:
- Publication type:
- Article