Works matching IS 09601295 AND DT 2000 AND VI 10 AND IP 2
Results: 4
Unique decomposition categories, Geometry of Interaction and combinatory logic.
- Published in:
- Mathematical Structures in Computer Science, 2000, v. 10, n. 2, p. 205, doi. 10.1017/s0960129599003035
- By:
- Publication type:
- Article
Unique factorisation lifting functors and categories of linearly-controlled processes.
- Published in:
- Mathematical Structures in Computer Science, 2000, v. 10, n. 2, p. 137, doi. 10.1017/s0960129599003023
- By:
- Publication type:
- Article
Introduction.
- Published in:
- Mathematical Structures in Computer Science, 2000, v. 10, n. 2, p. 97, doi. 10.1017/s0960129599002996
- By:
- Publication type:
- Article
Introduction to linear bicategories.
- Published in:
- Mathematical Structures in Computer Science, 2000, v. 10, n. 2, p. 165, doi. 10.1017/s0960129520003047
- By:
- Publication type:
- Article