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

Roberto M. Amadio Patrick Baillot Antoine Madet

Published in: CoRR (2010)

Keyphrases

rewrite systems
data sets
database
neural network
website
multiscale
image registration
theorem prover
fuzzy set theory