-
of coalgebraic session types, which model the behaviour of communication channels. Building on this, you will develop a formal notion of causality by connecting behavioural maps of extended coalgebraic sessions
Searches related to coalgebra
Enter an email to receive alerts for coalgebra positions