Peter Hancock
发表
Florian Jentsch,
Jessie Y. C. Chen,
Tracy Sanders,
2014,
Defense + Security Symposium.
Steve Hitchcock,
Wendy White,
Peter Hancock,
2011
.
Peter Hancock,
P. Hancock,
2000
.
Neil Ghani,
Peter Hancock,
2016,
Math. Struct. Comput. Sci..
Thorsten Altenkirch,
Conor McBride,
Neil Ghani,
2013,
TLCA.
Les Carr,
Wendy White,
Peter Hancock,
2011
.
Peter Hancock,
Anton Setzer,
2000,
CSL.
Peter Hancock,
Jonathan Georgiou,
2009
.
Peter Hancock,
Anton Setzer,
2004
.
Les Carr,
Steve Patterson,
Wendy White,
2010
.
Dirk Pattinson,
Neil Ghani,
Peter Hancock,
2009,
Log. Methods Comput. Sci..
Peter Hancock,
2002
.
Norbert Krüger,
Peter Hancock,
2005,
Network.
Peter Hancock,
Anton Setzer,
P. Hancock,
2004,
Dependently Typed Programming.
Peter Hancock,
Anton Setzer,
2000
.
Peter Hancock,
2004,
J. Funct. Program..
Peter Hancock,
Pierre Hyvernat,
Peter Hancock,
2009,
Ann. Pure Appl. Log..
Pascale Carayon,
Peter Hancock,
Nancy Leveson,
2015,
Ergonomics.
Dirk Pattinson,
Neil Ghani,
Peter Hancock,
2006,
CMCS.
Peter Hancock,
Jonathan Georgiou,
Geoffrey S. Carastathis,
2016
.
Dirk Pattinson,
Neil Ghani,
Peter Hancock,
2009,
CMCS.
Peter Hancock,
Trudi Cooper,
P. Hancock,
2009
.
Peter Hancock,
Jonathan Georgiou,
2009
.