The following pages link to Normalization for the Simply-Typed Lambda-Calculus in Twelf (Q2871835):
Displaying 2 items.