Papers on Lambda-calculus

• Dalrymple, Lamping, Pereira, Saraswat 1995. Linear Logic for Meaning Assembly.
• Hobbs, Appelt, Bear, Israel, Kameyama, Stickel, Tyson 1996. FAUSTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Langauge Text.
• Hobbs, Stickel, Martin, Edwards 1988. Interpolation as Abduction.