Pages that link to "Item:Q3583100"
From MaRDI portal
The following pages link to Applying Universal Algebra to Lambda Calculus (Q3583100):
Displaying 16 items.
- Boolean-like algebras (Q353355) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
- A generalization of the lambda algebra (Q1066519) (← links)
- Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- Consistency argument and classification problem in \(\lambda\)-calculus (Q1610037) (← links)
- Coextensive varieties via central elements (Q2046642) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- (Q4217595) (← links)
- Boolean product representations of algebras via binary polynomials (Q4586422) (← links)
- The Lattice of Lambda Theories (Q4820472) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- Imaginary groups: lazy monoids and reversible computation (Q5400854) (← links)
- Types for Proofs and Programs (Q5712316) (← links)
