James McKinna

No bio available. Add one in Open Library.

Books by James McKinna (50 max)

+ shelf+ list

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science)

2002

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack

+ shelf+ list

Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

2014

Paul Callaghan, Zhaohui Luo, James McKinna