The following pages link to (Q4912847):
Displaying 25 items.
- Conflicting accounts of \(\lambda\)-definability (Q511925) (← links)
- A prismoid framework for languages with resources (Q654907) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- The lambda calculus. Its syntax and semantics. Rev. ed. (Q801050) (← links)
- Towards the range property for the lambda theory \(\mathcal H\) (Q930864) (← links)
- Lambda calculus with patterns (Q930865) (← links)
- Recasting ML\(^{\text F}\) (Q1023287) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Scheme: A interpreter for extended lambda calculus (Q1290339) (← links)
- Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116) (← links)
- The differential lambda-calculus (Q1884894) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- A context-based approach to proving termination of evaluation (Q2805157) (← links)
- Logical semantics for stability (Q2805169) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- Nominal SOS (Q3178277) (← links)
- An Introduction to the Lambda Calculus (Q3599178) (← links)
- One method of defining the semantics of programming language constructs in terms of lambda calculus. II (Q3706514) (← links)
- Semantics of linear/modal lambda calculus (Q4934238) (← links)
- (Q4993547) (← links)
- Comparing flow-based binding-time analyses (Q5096754) (← links)
- Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels (Q5210975) (← links)
- The Intensional Lambda Calculus (Q5434495) (← links)
- Generic Authenticated Data Structures, Formally. (Q5875417) (← links)
- Linear Programs with Conjunctive Database Queries (Q6151558) (← links)
