(Relational) Programming Laws in the Boom Hierarchy of Types

• Authors:

• Paul F. Hoogendijk

• Affiliations:

• -

• Venue:
• Proceedings of the Second International Conference on Mathematics of Program Construction
• Year:
• 1992