Search the dblp DataBase

Publications of Author

1. Peter Hancock, Anton Setzer
   Interactive Programs in Dependent Type Theory. [Citation Graph (0, 0)][DBLP]
   CSL, 2000, pp:317-331 [Conf]
   
2. Peter Hancock, Pierre Hyvernat
   Programming interfaces and basic topology. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2006, v:137, n:1-3, pp:189-239 [Journal]
   
3. Neil Ghani, Peter Hancock, Dirk Pattinson
   Continuous Functions on Final Coalgebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:141-155 [Journal]
   
4. Robert R. Hoffman, Patrick J. Hayes, Kenneth M. Ford, Peter Hancock
   The Triples Rule. [Citation Graph (0, 0)][DBLP]
   IEEE Intelligent Systems, 2002, v:17, n:3, pp:62-65 [Journal]
   
5. Peter Hancock
   The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2004, v:14, n:5, pp:594-597 [Journal]
   
6. 
   Programming interfaces and basic topology [Citation Graph (, )][DBLP]
   
   
7. 
   Representations of Stream Processors Using Nested Fixed Points [Citation Graph (, )][DBLP]
   
   
8. 
   Continuous Functions on Final Coalgebras. [Citation Graph (, )][DBLP]