The following pages link to Least fixed points revisited (Q1234588):
Displaying 4 items.
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Algebraic correctness proofs for compiling recursive function definitions with strictness information (Q2502270) (← links)
- (Q4157924) (← links)
