Philippa Gardner
4 published titles
Equivalences between logics and their representing type theories
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
CONCUR 2004 _ concurrency theory : 15th international conference, London, UK, August 31 - September 3, 2004 : proceedings
(Contributor)
1 edition
- ISBN: 354022940X
- Springer
- 2004
- Details
Database programming languages : 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009 : proceedings
(Contributor)
1 edition
- ISBN: 9783642037924
- Springer
- 2009
- Details
Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March
(Contributor)
1 edition
- ISBN: 9783642370359
- Springer
- 2013
- Details
