Pages that link to "Item:Q1089793"

The following pages link to On the implementation of abstract data types by programming language constructs (Q1089793):

Displayed 3 items.

• Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901) ‎ (← links)
• Simulating expansions without expansions (Q4322432) ‎ (← links)
• A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) ‎ (← links)