(Relational) Programming Laws in the Boom Hierarchy of Types (1992)

Cached

Download Links

by Paul F. Hoogendijk
Venue:Mathematics of Program Construction
Citations:9 - 1 self