Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Peter G. Hancock

> Home > Persons

Person information

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GhaniH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GhaniH16
Neil Ghani, Peter G. Hancock:
Containers, monads and induction recursion. Math. Struct. Comput. Sci. 26(1): 89-113 (2016)
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AltenkirchGHMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AltenkirchGHMM15
Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris:
Indexed containers. J. Funct. Program. 25 (2015)
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/HancockMGMA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/HancockMGMA13
Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch:
Small Induction Recursion. TLCA 2013: 156-172

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0905-4813
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-4813
Neil Ghani, Peter G. Hancock, Dirk Pattinson:
Representations of Stream Processors Using Nested Fixed Points. Log. Methods Comput. Sci. 5(3) (2009)
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GhaniHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GhaniHP09
Neil Ghani, Peter G. Hancock, Dirk Pattinson:
Continuous Functions on Final Coalgebras. MFPS 2009: 3-18
2006
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GhaniHP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GhaniHP06
Neil Ghani, Peter G. Hancock, Dirk Pattinson:
Continuous Functions on Final Coalgebras. CMCS 2006: 141-155
2005
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/ox/05/HancockS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ox/05/HancockS05
Peter G. Hancock, Anton Setzer:
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory. From sets and types to topology and analysis 2005
2004
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hancock04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hancock04
Peter G. Hancock:
The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003. J. Funct. Program. 14(5): 594-597 (2004)
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/SetzerH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SetzerH04
Anton Setzer, Peter G. Hancock:
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). Dependently Typed Programming 2004
2000
[b2]
- view
- export record
  dblp key:
  - phd/ethos/Hancock00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Hancock00
Peter G. Hancock:
Ordinals and interactive programs. University of Edinburgh, UK, 2000
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/HancockS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/HancockS00
Peter G. Hancock, Anton Setzer:
Interactive Programs in Dependent Type Theory. CSL 2000: 317-331

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/Hancock99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Hancock99
Peter G. Hancock:
Proof theory and programming. University of Edinburgh, UK, 1999

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.