Braided Proof Nets and Categories, in preparation (1995)

by R Blute
Venue:J. Pure and Applied Algebra
Add To MetaCart
Results 1 - 1 of 1

Linear Läuchli semantics

by R. F. Blute, P. J. Scott - ANNALS PURE APPL. LOGIC , 1996
"... ..."
Abstract - Cited by 17 (7 self) - Add to MetaCart
Abstract not found