Malcolm Hole is an author at University of Glasgow specializing in formal methods, mathematical programming, and automated reasoning.
Publications per year
2005–2005
1
1
Subtyping for session types in the pi calculus
Simon J. Gay, Malcolm Hole · Acta Informatica · 2005 · 365 citations
Mathematical Programming, Engineering, Automated Reasoning +5
Rows per page
1–1 of 1