Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 4
Results: 3
Cofree coalgebras and differential linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 4, p. 416, doi. 10.1017/S0960129520000134
- By:
- Publication type:
- Article
Encodings of Turing machines in linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 4, p. 379, doi. 10.1017/S0960129520000109
- By:
- Publication type:
- Article
Denotational semantics for guarded dependent type theory.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 4, p. 342, doi. 10.1017/S0960129520000080
- By:
- Publication type:
- Article