13 citations · 18 across the 5 of their papers we have counts for
1 paper · 1 filter
Emmanuel Beffara, Félix Castro, Mauricio Guillermo
The point of this work is to explore axiomatisations of concurrent computation using the technology of proof theory and realizability. To deal with this problem, we redefine the Co…