A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog.

Per Kreuger

Browse the full AIMSA paper archive.