Pages that link to "Item:Q4382502"
From MaRDI portal
The following pages link to An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras (Q4382502):
Displaying 8 items.
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Safe recursion with higher types and BCK-algebra (Q1577481) (← links)
- Game semantics approach to higher-order complexity (Q2396718) (← links)
- The complexity space of partial functions: a connection between complexity analysis and denotational semantics (Q3008383) (← links)
- A Categorical Setting for Lower Complexity (Q3178259) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- V-comprehensions and P space (Q5057477) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)