G. Plotkin
7 published titles
A framework for defining logics
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Logical frameworks
(Contributor)
1 edition
- ISBN: 0521413001
- Cambridge University Press
- 1991
- Details
Computational logic : essays in honor of Alan Robinson
(Contributor)
1 edition
- ISBN: 0262121565
- MIT Press
- 1991
- Details
A semantics for static type inference
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Logical environments
(Contributor)
1 edition
- ISBN: 0521433126
- Cambridge University Press
- 1993
- Details
Proof, language, and interaction : essays in honour of Robin Milner
(Contributor)
1 edition
- ISBN: 0262161885
- MIT Press
- 2000
- Details
Transactions on computational systems biology VI
(Contributor)
1 edition
- ISBN: 9783540457794
- Springer
- 2006
- Details
