Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 7
Results: 5
Coherence for bicategorical cartesian closed structure.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 7, p. 822, doi. 10.1017/S0960129521000281
- By:
- Publication type:
- Article
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part I.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
Finitary monads on the category of posets.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 7, p. 799, doi. 10.1017/S0960129521000360
- By:
- Publication type:
- Article
Doctrines, modalities and comonads.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 7, p. 769, doi. 10.1017/S0960129521000207
- By:
- Publication type:
- Article
Freely adjoining monoidal duals.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 7, p. 748, doi. 10.1017/S0960129520000274
- By:
- Publication type:
- Article