8 citations · 18 across the 6 of their papers we have counts for
1 paper · 1 filter
Emmanuel Beffara
This paper elaborates on a new approach of the question of the proof-theoretic study of concurrent interaction called "proofs as schedules". Observing that proof theory is well sui…