421 citations · 1.5k across the 77 of their papers we have counts for
1 paper · 2 filters
Samson Abramsky, Ross Duncan
We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representa…