A Logical Basis for the D Combinator and Normal Form in CCG Frederick Hoyt and Jason Baldridge The Department of Linguistics The University of Texas at Austin {fmhoyt,jbaldrid}@mail.utexas.edu

Source URL: fmhoyt.colliertech.org

• Mathematical logic
• Lambda calculus
• Formal languages
• Combinatory categorial grammar
• Categorial grammar
• Fixed-point combinator
• Functor
• Syntax
• Function
• Mathematics
• Theoretical computer science
• Combinatory logic