Login / Signup
A simple proof of second-order strong normalization with permutative conversions.
Makoto Tatsuta
Grigori Mints
Published in:
Ann. Pure Appl. Log. (2005)
Keyphrases
</>
database
website
multiscale
high order
theorem proving