32 citations · 78 across the 20 of their papers we have counts for
1 paper · 1 filter
Marco Carbone
This volume contains the proceedings of BEAT 2014, the third Workshop on Behavioural Types. The workshop took place in Rome, Italy, on September 1st 2014, as a satellite even of CO…