Pages that link to "Item:Q1057642"

The following pages link to On the algebraic specification of infinite objects - ordered and continuous models of algebraic types (Q1057642):

Displaying 7 items.

• Non-well-founded sets modeled as ideal fixed points (Q757360) (← links)
• A new generic scheme for functional logic programming with constraints (Q880985) (← links)
• Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
• A Declarative Debugging System for Lazy Functional Logic Programs (Q2841290) (← links)
• Algebraic specifications for domain theory (Q5096170) (← links)