The following pages link to Full abstraction and recursion (Q1365671):
Displaying 5 items.
- Fixed points without completeness (Q674192) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- Abstract recursive utility (Q2367775) (← links)
- Full Abstraction and the Context Lemma (Q4887022) (← links)