Skip to main content

Towards a fully generic theory of data

D. A. Creager and A. C. Simpson

Book Title
Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006)
Pages
304–323
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4260
Year
2006