R. M. Burstall
7 published titles
A12 LOGO : user's guide and reference manual
(Contributor)
1 edition
- Department of Artificial Intelligence, University of Edinburgh
- 1979
- Details
Computational category theory
(Contributor)
1 edition
- ISBN: 0131627368
- Prentice Hall
- 1988
- Details
Deliverables : an approach to program development in the Calculus of Constructions
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Computer assisted proof for mathematics : an introduction using the LEGO proof system
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A set-theoretic setting for structuring theories in proof development
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Hiding and behaviour : an institutional approach
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Deliverables : a categorical approach to program development in type theory
2 editions
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
- University of Edinburgh, Laboratory for Foundations of Computer Science
- 1992
- Details
