Pages that link to "Item:Q4917199"
From MaRDI portal
The following pages link to A typed, algebraic, computational lambda-calculus (Q4917199):
Displaying 11 items.
- Algebraic and calculus query languages for recursively typed complex objects (Q686644) (← links)
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- A type system for computer algebra (Q1895401) (← links)
- Some lambda calculus and type theory formalized (Q1961921) (← links)
- (Q3086783) (← links)
- Typed ψ-calculi (Q3090835) (← 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)
- Initial algebra semantics for lambda calculi (Q5887531) (← links)