Polymorphic higher-order context-free session types

Autor:	Costa, Diana, Mordido, Andreia, Poças, Diogo, Vasconcelos, Vasco T.
Zdroj:	In Theoretical Computer Science 27 June 2024 1001
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect