Relational) Programming laws in the Boom hierarchy of types (1992)

by P F Hoogendijk
Venue:Mathematics of Program Construction