A proof-theoretic foundation of abortive continuations.

Zena M. Ariola Hugo Herbelin Amr Sabry

Published in: High. Order Symb. Comput. (2007)

Keyphrases

proof theoretic
proof theory
linear logic
nonmonotonic reasoning
constraint logic programming
default reasoning
model theoretic
fixpoint
cut elimination
logic programs
answer set programming
database systems
logic programming