 | 2009 |
|---|
| 7 |       | Peter Hancock,
Pierre Hyvernat:
Programming interfaces and basic topology
CoRR abs/0905.4063: (2009) |
| 6 | | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Continuous Functions on Final Coalgebras.
Electr. Notes Theor. Comput. Sci. 249: 3-18 (2009) |
| 5 | | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Representations of Stream Processors Using Nested Fixed Points
Logical Methods in Computer Science 5(3): (2009) |
| 2006 |
|---|
| 4 | | Peter Hancock,
Pierre Hyvernat:
Programming interfaces and basic topology.
Ann. Pure Appl. Logic 137(1-3): 189-239 (2006) |
| 3 | | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Continuous Functions on Final Coalgebras.
Electr. Notes Theor. Comput. Sci. 164(1): 141-155 (2006) |
| 2004 |
|---|
| 2 | | Peter Hancock:
The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003.
J. Funct. Program. 14(5): 594-597 (2004) |
| 2000 |
|---|
| 1 | | Peter Hancock,
Anton Setzer:
Interactive Programs in Dependent Type Theory.
CSL 2000: 317-331 |
Data released under the ODC-BY 1.0 license — See also our legal information page