Pages that link to "Item:Q1089793"
From MaRDI portal
The following pages link to On the implementation of abstract data types by programming language constructs (Q1089793):
Displaying 5 items.
- Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901) (← links)
- Simulating expansions without expansions (Q4322432) (← links)
- A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object (Q4630299) (← links)
- A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) (← links)
- Some lambda calculi with categorical sums and products (Q5055791) (← links)
