Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic

Vincent Atassi Patrick Baillot Kazushige Terui

Published in: CoRR (2007)

Keyphrases

inference mechanism
inference process
asynchronous circuits
probabilistic inference
inference engine
verification method
modal logic
affine invariant
multi valued