The following pages link to Recursive data structures (Q4055171):
Displaying 12 items.
- A view of computability on term algebras (Q1051428) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- Mechanizing structural induction. I: Formal system (Q1134540) (← links)
- Mechanizing structural induction. II: Strategies (Q1134541) (← links)
- Algorithm 43. The implementation of insertion and deletion algorithms for 1-2 brother trees (Q1148683) (← links)
- More comments on the programming language Pascal (Q1214259) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- On removing the machine from the language (Q1247740) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)
- A set constructor for inductive sets in Martin-Löf's type theory (Q5096257) (← links)
- Explicit cyclic substitutions (Q5881174) (← links)
