Pages that link to "Item:Q1577481"
From MaRDI portal
The following pages link to Safe recursion with higher types and BCK-algebra (Q1577481):
Displaying 4 items.
- Higher-order interpretations and program complexity (Q276254) (← links)
- Realizability models and implicit complexity (Q534712) (← links)
- Type inference for light affine logic via constraints on words (Q703485) (← links)
- Light affine lambda calculus and polynomial time strong normalization (Q877259) (← links)
