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 10 items.

• On existence of limit models over sequences of types (Q278558) (← links)
• 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)
• Equational specification of partial higher-order algebras (Q1102736) (← links)
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
• Algebraic specifications, higher-order types and set-theoretic models (Q2752531) (← links)
• A declarative debugging system for lazy functional logic programs (Q2841290) (← links)
• Algebraic specifications for domain theory (Q5096170) (← links)