Pages that link to "Item:Q2358702"
From MaRDI portal
The following pages link to Formal metatheory of the lambda calculus using Stoughton's substitution (Q2358702):
Displayed 3 items.
- Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda (Q2229159) (← links)
- Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention (Q5022932) (← links)
- A Formal Proof of the Strong Normalization Theorem for System T in Agda (Q6118750) (← links)