2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Roberto Maieli
In this work we present a computation paradigm based on a concurrent and incremental construction of proof nets (de-sequentialized or graphical proofs) of the pure multiplicative a…