The following pages link to The lambda calculus is algebraic (Q4709842):
Displayed 11 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4580329) (← links)
- (Q5101343) (← links)
- Essential and relational models (Q5269000) (← links)
- Classical lambda calculus in modern dress (Q5269006) (← links)