Pages that link to "Item:Q5055791"
From MaRDI portal
The following pages link to Some lambda calculi with categorical sums and products (Q5055791):
Displaying 7 items.
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) (← links)
- Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Equality between functionals in the presence of coproducts (Q1854334) (← links)
- Investigations on the dual calculus (Q2503329) (← links)
- Strongly Typed Rewriting For Coupled Software Transformation (Q2864515) (← links)
- A Local Graph-rewriting System for Deciding Equality in Sum-product Theories (Q2867904) (← links)
