About this scholarly article

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Fibred Data Types by Ghani, Neil; Malatesta, Lorenzo; Forsberg, Fredrik Nordvall; Setzer, Anton is a scholarly article available to read on EtoBox.

Author

Ghani, Neil; Malatesta, Lorenzo; Forsberg, Fredrik Nordvall; Setzer, Anton

Publisher

IEEE

Published

2013

Language

EN