Login / Signup
Cut-Elimination for Simple Type Theory with An Axiom of Choice.
Grigori Mints
Published in:
J. Symb. Log. (1999)
Keyphrases
</>
cut elimination
inference rules
linear logic
sequent calculus
machine learning
general purpose
proof theoretic