The following pages link to (Q4501144):
Displaying 11 items.
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Nondeterministic extensions of untyped \(\lambda\)-calculus (Q2508325) (← links)
- (Q3024838) (← links)
- (Q3024919) (← links)
- (Q3138540) (← links)
- (Q3194765) (← links)
- Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them (Q4911148) (← links)
- A partial evaluator for the untyped lambda-calculus (Q4939696) (← links)
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi (Q5020907) (← links)