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]

Authors

Diana Costa 0001

This author has not been identified. Look up 'Diana Costa 0001' in Google

Andreia Mordido

This author has not been identified. Look up 'Andreia Mordido' in Google

Diogo Poças

This author has not been identified. Look up 'Diogo Poças' in Google

Vasco T. Vasconcelos

This author has not been identified. Look up 'Vasco T. Vasconcelos' in Google