A Sequent Calculus for Subtyping Polymorphic Types.

Published in: Inf. Comput. (2001)

Keyphrases

sequent calculus
inference rules
linear logic
cut elimination
machine learning
modal logic
linear time temporal logic