Elements of a Relational Theory of Datatypes (1993)

Cached

Download Links

by Roland Backhouse , Paul Hoogendijk
Venue:Formal Program Development, volume 755 of Lecture Notes in Computer Science
Citations:35 - 0 self