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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.