2 citations · 4 across the 4 of their papers we have counts for
1 paper · 2 filters
Rob Arthan, Paulo Oliva
Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special cla…