A. M. Pitts
5 published titles
Applications of categories in computer science
(Contributor)
1 edition
- ISBN: 0521427266
- Cambridge University Press
- 1992
- Details
Semantics and logics of computation
(Contributor)
1 edition
- ISBN: 0521580579
- Cambridge University Press
- 1997
- Details
Higher order operational techniques in semantics
(Contributor)
1 edition
- ISBN: 0521631688
- Cambridge University Press
- 1998
- Details
Nominal sets : names and symmetry in computer science
1 edition
- ISBN: 9781107017788
- Cambridge University Press
- 2013
- Details
Foundations of software science and computation structures : 18th International Conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,
(Contributor)
1 edition
- ISBN: 9783662466773
- Springer
- 2015
- Details
