James McKinna
2 published titles
Deliverables : an approach to program development in the Calculus of Constructions
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Deliverables : a categorical approach to program development in type theory
(Contributor)
2 editions
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
- University of Edinburgh, Laboratory for Foundations of Computer Science
- 1992
- Details
