The following pages link to Theoretical Computer Science (Q5897362):
Displaying 4 items.
- The role of polymorphism in the characterisation of complexity by soft types (Q276263) (← links)
- A semantic proof of polytime soundness of light affine logic (Q987375) (← links)
- On an interpretation of safe recursion in light affine logic (Q1827399) (← links)
- Light logics and higher-order processes (Q2971072) (← links)