| 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 |
An order-based inference system using the Lambek calculus
Anna Zamansky, Nissim Francez, Yoad Winter
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review