Login / Signup
A Sequent Calculus for Subtyping Polymorphic Types.
Jerzy Tiuryn
Published in:
MFCS (1996)
Keyphrases
</>
sequent calculus
modal logic
cut elimination
inference rules
linear logic
machine learning
knowledge base
training examples