An order-based inference system using the Lambek calculus

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proc. of the 7th conference on Formal Grammar
Place of Publication	Trento, Italy
Pages	1-35
State	Published - 2002
Externally published	Yes

Other files and links