Pages that link to "Item:Q2333314"
From MaRDI portal
The following pages link to Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory (Q2333314):
Displaying 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)
- Nominal Sets in Agda - A Fresh and Immature Mechanization (Q6118749) (← links)
