Outline of a Proof Theory of Parametricity.

Harry G. Mairson

Published in: FPCA (1991)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
machine learning
nonmonotonic reasoning
knowledge base
multi agent
search space