Roy L. Crole
2 published titles
Categories for types
1 edition
- ISBN: 0521457017
- Cambridge University Press
- 1993
- Details
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10 -14 2000 : revised lectures
(Contributor)
1 edition
- ISBN: 3540436138
- Springer
- 2002
- Details
