J. H. McKinna

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Deliverables: a categorical approach to program development in type theory
R. M. Burstall and others (1992) · Department of Computer Science, University of Edinburgh
Deliverables: A Categorical Approach to Program Development in Type Theory
J. H. McKinna (1992)