22 citations · 69 across the 23 of their papers we have counts for
1 paper · 2 filters
Clément Aubert
Using a proofs-as-programs correspondence, Terui was able to compare two models of parallel computation: Boolean circuits and proof nets for multiplicative linear logic. Mogbil et.…