Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report

Marco Giunti, Nobuko Yoshida

Most works on session types take an equi-recursive approach and do not distinguish among a recursive type and its unfolding. This becomes more important in recent type systems whic…