Proof theory and programming. - Peter G. Hancock (1999)

Interactive Programs in Dependent Type Theory. - Peter G. Hancock; Anton Setzer (CSL, 2000)

Ordinals and interactive programs. - Peter G. Hancock (2000)

Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). - Anton Setzer; Peter G. Hancock (Dependently Typed Programming, 2004)

The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003. - Peter G. Hancock (J. Funct. Program., 2004)

Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory. - Peter G. Hancock; Anton Setzer (From sets and types to topology and analysis, 2005)

Continuous Functions on Final Coalgebras. - Neil Ghani; Peter G. Hancock; Dirk Pattinson (CMCS, 2006)

Representations of Stream Processors Using Nested Fixed Points - Neil Ghani; Peter G. Hancock; Dirk Pattinson (Log. Methods Comput. Sci., 2009)

Small Induction Recursion. - Peter G. Hancock; Conor McBride; Neil Ghani; Lorenzo Malatesta; Thorsten Altenkirch (TLCA, 2013)

Indexed containers. - Thorsten Altenkirch; Neil Ghani; Peter G. Hancock; Conor McBride; Peter Morris (J. Funct. Program., 2015)

Containers, monads and induction recursion. - Neil Ghani; Peter G. Hancock (Math. Struct. Comput. Sci., 2016)