The following pages link to Peter G. Hancock (Q2805146):
Displaying 7 items.
- Continuous Functions on Final Coalgebras (Q2805147) (← links)
- (Q2863899) (← links)
- Fifty years of operational research and emergency response (Q3394057) (← links)
- Representations of Stream Processors Using Nested Fixed Points (Q3401133) (← links)
- Small Induction Recursion (Q5300900) (← links)
- Indexed containers (Q5371943) (← links)
- Containers, monads and induction recursion (Q5741557) (← links)
