Pages that link to "Item:Q530864"
From MaRDI portal
The following pages link to Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus (Q530864):
Displayed 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)