The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating english to FOL

Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Scopus citations

Fingerprint Dive into the research topics of 'The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating english to FOL'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science