Unwinding a Non-effective Cut Elimination Proof

DOI10.1007/11753728_27zbMath1185.03082OpenAlexW1864872089MaRDI QIDQ3434700

Grigori Mints

Publication date: 2 May 2007

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11753728_27

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Proof Search Tree and Cut Elimination

This page was built for publication: Unwinding a Non-effective Cut Elimination Proof