M. P. Fourman
3 published titles
A proposed categorical semantics for Pure ML
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Applications of categories in computer science
(Contributor)
1 edition
- ISBN: 0521427266
- Cambridge University Press
- 1992
- Details
Proof and design
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1995
- Details
