A Sequent Calculus for Compact Closed Categories (1996)

Cached

Download Links

by Masaru Shirahata
Citations:5 - 0 self