42050257
9783662466773
Pitts, Andrew is the author of '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, London, UK, April 11-18, 2015, Proceedings', published 2015 under ISBN 9783662466773 and ISBN 3662466775.
[read more]