Login / Signup
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them.
Chitta Baral
Juraj Dzifcak
Marcos Alvarez Gonzalez
Aaron Gottesman
Published in:
Theory Pract. Log. Program. (2012)
Keyphrases
</>
lambda calculus
answer set programming
logic programming
programming language
logic programs
higher order
causal theories
data structure
program understanding
database query languages
constraint satisfaction problems
orders of magnitude
database design
search strategies
predicate calculus