A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F (2006)

by Kevin Donnelly , Hongwei Xi
Venue:LFMTP 2006
Citations:7 - 0 self