Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them

Chitta Baral, Juraj Dzifcak, Marcos A. Gonzalez, Aaron Gottesman

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Fingerprint Dive into the research topics of 'Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science