A Proof of Strong Normalization for F2, Fω, and Beyond

• 1 September 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 121  (2) , 193-200
• https://doi.org/10.1006/inco.1995.1132

Abstract

Keywords

• COMPLETE LATTICE