P. J. Scott
2 published titles
Introduction to higher order categorical logic
(Contributor)
1 edition
- ISBN: 0521246652
- Cambridge University Press
- 1986
- Details
On the [pi]-calculus and linear logic
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
