Browse by Journal
Number of items: 3.
| Orchard, Dominic A. (2018) Complexity bounds for container functors and comonads. Information and Computation, . ISSN 0890-5401. (doi:10.1016/j.ic.2018.05.008) (KAR id:66631) |
| Marshall, Danielle, Orchard, Dominic A. (2024) Non-linear communication via graded modal session types. Information and Computation, 301 (Part A). Article Number 105234. ISSN 0890-5401. E-ISSN 1090-2651. (doi:10.1016/j.ic.2024.105234) (KAR id:107848) |
| Cheval, Vincent, Comon-Lundh, Hubert, Delaune, Stéphanie (2017) A procedure for deciding symbolic equivalence between sets of constraint systems. Information and Computation, 255 (part 1). pp. 94-125. ISSN 0890-5401. E-ISSN 1090-2651. (doi:10.1016/j.ic.2017.05.004) (KAR id:46882) |

Up a level