Login / Signup

Intersection Types with Subtyping by Means of Cut Elimination.

Olivier Laurent
Published in: Fundam. Informaticae (2012)
Keyphrases
  • cut elimination
  • linear logic
  • sequent calculus
  • supervised learning
  • proof theoretic