- Record: found
- Abstract: not found
- Book Chapter: not found
Rewriting Techniques and Applications
Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references11
- Record: found
- Abstract: not found
- Book Chapter: not found
Ideas and Results in Proof Theory
Dag Prawitz (1971)
- Record: found
- Abstract: not found
- Article: not found
Alpha-structural recursion and induction
Andrew M. Pitts (2006)
- Record: found
- Abstract: not found
- Article: not found
On equivalence and canonical forms in the LF type theory
Robert Harper, Frank Pfenning (2005)