Statistics
Publications
5
Citations
130
H-Index
5
Active since
1997
Affiliations
Peter Hancock is an author at University of Strathclyde specializing in type theory, computing, and category theory.
Publications per year
1997–2015
5
5
Thorsten Altenkirch, Neil Ghani, Peter Hancock et al. · Journal of Functional Programming · 2015 · 42 citations · Full text
1–5 of 5