The following pages link to (Q4912847):
Displaying 9 items.
- Conflicting accounts of \(\lambda\)-definability (Q511925) (← links)
- A prismoid framework for languages with resources (Q654907) (← links)
- Towards the range property for the lambda theory \(\mathcal H\) (Q930864) (← links)
- Recasting ML\(^{\text F}\) (Q1023287) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116) (← links)
- (Q4993547) (← links)
- Generic Authenticated Data Structures, Formally. (Q5875417) (← links)
- Linear Programs with Conjunctive Database Queries (Q6151558) (← links)
