Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic (1999)

Cached

Download Links

by Jeff Polakow , Frank Pfenning
Citations:27 - 14 self