Axioms for Delimited Continuations in the CPS Hierarchy.

Yukiyoshi Kameyama

Published in: CSL (2004)

Keyphrases

knowledge base
database
neural network
social networks
multimedia
image segmentation
first order logic
class hierarchy
hierarchically organized
axiomatic characterization