Pages that link to "Item:Q5055791"
From MaRDI portal
The following pages link to Some lambda calculi with categorical sums and products (Q5055791):
Displaying 14 items.
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) (← links)
- Comparing Hagino's categorical programming language and typed lambda- calculi (Q685425) (← links)
- Partial inductive definitions as type-systems for \(\lambda\)-terms (Q688729) (← 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)
- Labelling techniques and typed fixed-point operators (Q2704326) (← links)
- Strongly typed rewriting for coupled software transformation (Q2864515) (← links)
- A local graph-rewriting system for deciding equality in sum-product theories (Q2867904) (← links)
- Order-enriched sketches for typed lambda calculi (Q3978972) (← links)
- Combining first order algebraic rewriting systems, recursion and extensional lambda calculi (Q4632448) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- On the power of simple diagrams (Q5055861) (← links)