9 citations · 17 across the 6 of their papers we have counts for
1 paper · 1 filter
Glyn Morrill
We show how categorial deduction can be implemented in higher-order (linear) logic programming, thereby realising parsing as deduction for the associative and non-associative Lambe…