The following pages link to The Intensional Lambda Calculus (Q5434495):
Displaying 34 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Intuitionistic hypothetical logic of proofs (Q276039) (← links)
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- Comparing models of the intensional typed \(\lambda\)-calculus (Q671646) (← links)
- The parametric lambda calculus. A metamodel for computation. (Q703856) (← links)
- On the expressive power of schemes (Q719245) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Translating lambda calculus into C++ templates (Q832102) (← links)
- Reduction rules for intuitionistic \(\lambda\rho\)-calculus (Q897480) (← links)
- Lambda calculus with patterns (Q930865) (← links)
- The weak lambda calculus as a reasonable machine (Q930866) (← links)
- Applications of infinitary lambda calculus (Q1021568) (← links)
- A lambda-calculus for dynamic binding (Q1127514) (← links)
- Scheme: A interpreter for extended lambda calculus (Q1290339) (← links)
- Proof-functional connectives and realizability (Q1330311) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Intensional completeness in an extension of Gödel/Dummett logic (Q1868240) (← links)
- The differential lambda-calculus (Q1884894) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- Functional back-ends within the lambda-sigma calculus (Q2817681) (← links)
- A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
- (Q3086783) (← links)
- An Introduction to the Lambda Calculus (Q3599178) (← links)
- The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
- (Q3787977) (← links)
- (Q3976042) (← links)
- Thunks and the λ-calculus (Q4358459) (← links)
- Theoretical Pearls:<i>Representing ‘undefined’ in lambda calculus</i> (Q4764617) (← links)
- (Q4876428) (← links)
- (Q4890393) (← links)
- (Q4912847) (← links)
- Semirings of Evidence (Q5098741) (← links)
- Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)
- Initial algebra semantics for lambda calculi (Q5887531) (← links)
