Pages that link to "Item:Q968531"
From MaRDI portal
The following pages link to External and internal syntax of the \(\lambda \)-calculus (Q968531):
Displayed 6 items.
- Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
- Term-generic logic (Q2339466) (← links)
- A canonical locally named representation of binding (Q2392482) (← links)
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221) (← links)
- A unified treatment of syntax with binders (Q3165528) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)