 | 2009 |
|---|
| 9 |       | Peter Hancock,
Pierre Hyvernat:
Programming interfaces and basic topology
CoRR abs/0905.4063: (2009) |
| 8 | | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Continuous Functions on Final Coalgebras.
Electr. Notes Theor. Comput. Sci. 249: 3-18 (2009) |
| 7 | | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Representations of Stream Processors Using Nested Fixed Points
Logical Methods in Computer Science 5(3): (2009) |
| 2008 |
|---|
| 6 | | Robert R. Hoffman,
Peter Hancock,
Morris Marx:
Metrics, Metrics, Metrics: Negative Hedonicity.
IEEE Intelligent Systems 23(2): 69-73 (2008) |
| 2006 |
|---|
| 5 | | Peter Hancock,
Pierre Hyvernat:
Programming interfaces and basic topology.
Ann. Pure Appl. Logic 137(1-3): 189-239 (2006) |
| 4 | | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Continuous Functions on Final Coalgebras.
Electr. Notes Theor. Comput. Sci. 164(1): 141-155 (2006) |
| 2004 |
|---|
| 3 | | 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) |
| 2002 |
|---|
| 2 | | Robert R. Hoffman,
Patrick J. Hayes,
Kenneth M. Ford,
Peter Hancock:
The Triples Rule.
IEEE Intelligent Systems 17(3): 62-65 (2002) |
| 2000 |
|---|
| 1 | | Peter Hancock,
Anton Setzer:
Interactive Programs in Dependent Type Theory.
CSL 2000: 317-331 |
