Proof Nets for Intuitionistic Linear Logic

by François Lamarche , Loria Inria-lorraine , Projet Calligramme
Venue:Essential Nets, Research Report
Citations:35 - 1 self