Original Article

Journal of Logic, Language and Information

, Volume 17, Issue 1, pp 43-68

First online:

First-Order Glue

  • Miltiadis KokkonidisAffiliated withComputational Linguistics Group, University of Oxford Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.


Glue Compositional semantics Syntax-semantics interface First-Order Linear Logic Typing systems