Browse by ISBN
Book Section
Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton; (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, USA, pp. 243-252. ISBN 9781479904136