Lambda grammars and the syntax-semantics interface
Reinhard Muskens · Data Archiving and Networked Services (DANS) · 2001
Curry considers expressions containing subscripted blanks, such as '-1 is between -2 and -3 ' or '-1 were eaten by the children'.Functors can apply to arguments and arguments are to be substituted for blanks in the order of the subscripts.Essentially