The following pages link to Algebras, polynomials and programs (Q802882):
Displaying 4 items.
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- Full abstraction and recursion (Q1365671) (← links)
- Categorial generalization of algebraic recursion theory (Q1898417) (← links)
