Pages that link to "Item:Q2863881"
From MaRDI portal
The following pages link to A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus (Q2863881):
Displaying 11 items.
- Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- The Vietoris monad and weak distributive laws (Q2307527) (← links)
- Modelling Local Variables: Possible Worlds and Object Spaces (Q3178266) (← links)
- A General Class of Models of $\mathcal{H}^*$ (Q3182956) (← links)
- (Q4580329) (← links)
- (Q4986735) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
