Login / Signup
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.
Steffen van Bakel
Published in:
Notre Dame J. Formal Log. (2004)
Keyphrases
</>
cut elimination
linear logic
sequent calculus
artificial intelligence
programming language
fixed point