"Session Type Systems based on Linear Logic: Classical versus Intuitionistic."

Bas van den Heuvel, Jorge A. Pérez (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics