Non-linear communication via graded modal session types

Autor:	Marshall, Danielle a, b, ⁎, Orchard, Dominic a, c
Zdroj:	In Information and Computation December 2024 301 Part A
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect