Polymorphic higher-order context-free session types

Diana Costa 0001, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos. Polymorphic higher-order context-free session types. Theoretical Computer Science, 1001:114582, 2024. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: