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