Pages that link to "Item:Q530864"

The following pages link to Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus (Q530864):

Displaying 3 items.

• Alpha-structural induction and recursion for the lambda calculus in constructive type theory (Q1744410) (← links)
• Formal metatheory of the lambda calculus using Stoughton's substitution (Q2358702) (← links)
• A Formal Proof of the Strong Normalization Theorem for System T in Agda (Q6118750) (← links)