Glyn Morrill

Identifiers

• name variant Glyn Morrill 0.60 · backfill

Papers (4)

1. Computational Coverage of TLG: Nonlinearity cs.LO · 2017 · author #1
2. A polynomial time algorithm for the Lambek calculus with brackets of bounded order cs.LO · 2017 · author #3
3. Displacement Calculus cs.CL · 2010 · author #1
4. Higher-order Linear Logic Programming of Categorial Deduction cmp-lg · 1995 · author #1

Mentions

• 1004.4181 #1 · backfill · confidence 0.70 Glyn Morrill

Frequent Coauthors

• Oriol Valent\'in 2 shared papers
• Andre Scedrov 1 shared papers
• Max Kanovich 1 shared papers
• Stepan Kuznetsov 1 shared papers