An affine-intuitionistic system of types and effects: confluence and termination

Roberto M. Amadio Patrick Baillot Antoine Madet

Published in: CoRR (2009)

Keyphrases

rewrite systems
affine transformation
machine learning
real time
search engine
decision making
data mining
image processing
logic programming
affine invariant
fuzzy relations
linear logic