Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

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)

This list was generated on Thu Dec 4 23:19:02 2025 GMT.