Login / Signup

A Classical Sequent Calculus with Dependent Types.

Étienne Miquey
Published in: ESOP (2017)
Keyphrases
  • sequent calculus
  • inference rules
  • linear logic
  • cut elimination
  • high level