Login / Signup
A Classical Sequent Calculus with Dependent Types.
Étienne Miquey
Published in:
ACM Trans. Program. Lang. Syst. (2019)
Keyphrases
</>
sequent calculus
linear logic
cut elimination
inference rules
training data
feature space
general purpose
natural deduction