Pages that link to "Item:Q2871835"

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

Displaying 2 items.

• POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
• A Formal Proof of the Strong Normalization Theorem for System T in Agda (Q6118750) (← links)