Multi-focused cut elimination.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 5, p. 614, doi. 10.1017/S0960129516000451
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 5
Results: 5
1
2
Preface to special issue: LINEARITY 2014.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 5, p. 612, doi. 10.1017/S0960129516000359
- By:
- Publication type:
- Article
3
A linear/producer/consumer model of classical linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 5, p. 710, doi. 10.1017/S0960129516000347
- By:
- Publication type:
- Article
4
Expressing additives using multiplicatives and subexponentials.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 5, p. 651, doi. 10.1017/S0960129516000293
- By:
- Publication type:
- Article
5
Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <italic>a minimalist approach</italic>.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 5, p. 667, doi. 10.1017/S0960129516000311
- By:
- Publication type:
- Article