We stand with Ukraine  

Peter G. Hancock

Affiliations:
  • University of Strathclyde, Department of Computer and Information Sciences, Glasgow, Scotland
  • University of Nottingham, School of Computer Science, UK
  • University of Edinburgh, Laboratory for Foundations of Computer Science, UK (PhD 2000)


According to our database1, Peter G. Hancock authored at least 11 papers between 1999 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Containers, monads and induction recursion.
[BibTeX]
[DOI]
Neil Ghani
,
Peter G. Hancock
Math. Struct. Comput. Sci., 2016

2015
Indexed containers.
[BibTeX]
[DOI]
Thorsten Altenkirch
,
Neil Ghani
,
Peter G. Hancock
,
Conor McBride
,
Peter Morris
J. Funct. Program., 2015

2013
Small Induction Recursion.
[BibTeX]
[DOI]
Peter G. Hancock
,
Conor McBride
,
Neil Ghani
,
Lorenzo Malatesta
,
Thorsten Altenkirch
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

2009
Representations of Stream Processors Using Nested Fixed Points
[BibTeX]
[DOI]
Neil Ghani
,
Peter G. Hancock
,
Dirk Pattinson
Log. Methods Comput. Sci., 2009

2006
Continuous Functions on Final Coalgebras.
[BibTeX]
[DOI]
Neil Ghani
,
Peter G. Hancock
,
Dirk Pattinson
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2005
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory.
[BibTeX]
Peter G. Hancock
,
Anton Setzer
Proceedings of the From sets and types to topology and analysis, 2005

2004
The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003.
[BibTeX]
[DOI]
Peter G. Hancock
J. Funct. Program., 2004

Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version).
[BibTeX]
[DOI]
Anton Setzer
,
Peter G. Hancock
Proceedings of the Dependently Typed Programming, 12.09. - 17.09.2004, 2004

2000
Ordinals and interactive programs.
[BibTeX]
[DOI]
Peter G. Hancock
PhD thesis, 2000

Interactive Programs in Dependent Type Theory.
[BibTeX]
[DOI]
Peter G. Hancock
,
Anton Setzer
Proceedings of the Computer Science Logic, 2000

1999
Proof theory and programming.
[BibTeX]
[DOI]
Peter G. Hancock
PhD thesis, 1999


  Loading...