Logical relations for call-by-value delimited continuations.

Published in: Trends in Functional Programming (2005)

Keyphrases

logical structure
semantic relations
artificial intelligence
logical representation
logical operations
database
databases
knowledge base
partial order
logical framework