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