Weak Normalization for the Simply-Typed Lambda-Calculus in Twelf (Extended Abstract) (2004)

by Andreas Abel
Venue:In Logical Frameworks and Metalanguages (LFM 04), IJCAR
Citations:11 - 3 self