Pages that link to "Item:Q968531"

The following pages link to External and internal syntax of the \(\lambda \)-calculus (Q968531):

Displaying 11 items.

• Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159) (← links)
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
• Term-generic logic (Q2339466) (← links)
• A canonical locally named representation of binding (Q2392482) (← links)
• On the role of names in reasoning about \(\lambda\)-tree syntax specifications (Q2804945) (← 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)
• The λ-calculus with constructors: Syntax, confluence and separation (Q3644936) (← links)
• (Q3976042) (← links)
• General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)