5 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Jochen Doerre, Suresh Manandhar
We explore the consequences of layering a Lambek proof system over an arbitrary (constraint) logic. A simple model-theoretic semantics for our hybrid language is provided for which…