Pages that link to "Item:Q740485"
From MaRDI portal
The following pages link to Viewing \({\lambda}\)-terms through maps (Q740485):
Displaying 5 items.
- Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus (Q530864) (← links)
- External and internal syntax of the \(\lambda \)-calculus (Q968531) (← links)
- Alpha-structural induction and recursion for the lambda calculus in constructive type theory (Q1744410) (← links)
- (Q3309806) (← links)
- (Q3384910) (← links)