Mobility
Reading
Group
π-calculus, Session Types research at the University of Oxford
Home
People
Publications
Grants
Talks
Tutorials
Tools
Awards
Kohei Honda
iso-rec-st
Type Congruence, Duality and Iso-Recursive Binary Session Types
Sources
Related publications
Marco Giunti
,
Nobuko Yoshida
:
Type Congruence, Duality and Iso-Recursive Binary Session Types
.
Essay Dedicated to Prof. Gul Agha's Scientific Career 2025
: 418 - 445
.