Proof nets for the Lambek-calculus -- an overview (1998)

by François Lamarche , Christian Retoré
Citations:17 - 2 self