The following pages link to (Q3978971):
Displaying 7 items.
- (Q5140265) (← links)
- (Q5341790) (← links)
- (Q5875353) (← links)
- Final semantics for a higher order concurrent language (Q5878904) (← links)
- Computational adequacy via ‘mixed’ inductive definitions (Q5890041) (← links)
- Synthetic domain theory in type theory: another logic of computable functions (Q6567725) (← links)
- Semantics for a lambda calculus for string diagrams (Q6612802) (← links)