Dave Barker-Plummer
3 published titles
Words, proofs, and diagrams
(Contributor)
1 edition
- ISBN: 1575864061
- Centre for the Study of Language and Information
- 2002
- Details
Diagrammatic representation and inference : 4th international conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540356233
- Springer
- 2006
- Details
Language, proof, and logic
1 edition
- ISBN: 9781575866321
- CSLI Publications
- 2011
- Details
