Journal of Logic, Language and Information

, Volume 17, Issue 1, pp 43–68

First-Order Glue

Original Article

DOI: 10.1007/s10849-006-9031-0

Cite this article as:
Kokkonidis, M. J of Log Lang and Inf (2008) 17: 43. doi:10.1007/s10849-006-9031-0


Glue has evolved significantly during the past decade. Although the recent move to type-theoretic notation was a step in the right direction, basing the current Glue system on System F (second-order λ-calculus) was an unfortunate choice. An extension to two sorts and ad hoc restrictions were necessary to avoid inappropriate composition of meanings. As a result, the current system is unnecessarily complicated. A first-order Glue system is hereby proposed as its replacement. This new system is not only simpler and more elegant, as it captures the exact requirements for Glue-style compositionality without ad hoc improvisations, but it also turns out to be more powerful than the current two-sorted (pseudo-) second-order system. First-order Glue supports all existing Glue analyses as well as more elegant alternatives. It also supports new, more demanding analyses.


GlueCompositional semanticsSyntax-semantics interfaceFirst-Order Linear LogicTyping systems

Copyright information

© Springer Science+Business Media 2007

Authors and Affiliations

  1. 1.Computational Linguistics GroupUniversity of OxfordOxfordUK