Sound and Complete Typing for lambda-mu

Steffen van Bakel

Published in: ITRS (2010)

Keyphrases

set of inference rules
inference rules
computer vision
fixed point
artificial intelligence
image processing
high level
preprocessing
real time
multi agent systems