Proof Nets for Intuitionistic Linear Logic: Essential nets (2008)

by François Lamarche
Citations:47 - 1 self