Memoisation of
by Glyn Morrill
http://www.folli.uva.nl/Esslli/1997/ESSLLI97/LC6/M1.PS.Z
Add To MetaCart
Abstract:
categorial proof nets: parallelism in categorial processing
Citations
| 479 | On the unity of logic – Girard - 1993 |
| 177 | Categorial type logics, in – Moortgat - 1997 |
| 96 | Type Logical Grammar. Categorial Logic of Signs – Morrill - 1994 |
| 89 | Probability Theory – Jeffrey - 1961 |
| 44 | Labelled Deductive Systems for categorial theorem proving – Moortgat - 1992 |
| 24 | Chart parsing lambek grammars: Modal extensions and incrementality – Hepple - 1992 |
| 22 | Lambek grammars are context free – Pentus - 1993 |
| 15 | Non-associative Lambek categorial grammar in polynomial time – Aarts, Trautwein - 1995 |
| 14 | A hypothetical reasoning algorithm for linguistic analysis – König - 1994 |
| 12 | Generative capacity of nonassociative Lambek calculus – Buszkowski - 1986 |
