12 citations · 17 across the 5 of their papers we have counts for
1 paper · 1 filter
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…