Proof nets for the Lambekcalculus — an overview (1996)

by François Lamarche , Christian Retoré
Venue:Proceedings of the Third Roma Workshop ”Proofs and Linguistic Categories
Citations:14 - 2 self