Two-categories and program structure: data types, refinement calculi, and predicate transformers

• Authors:

• David Andrew Naumann

• Affiliations:

• The Univ. of Texas at Austin

• Venue:
• Two-categories and program structure: data types, refinement calculi, and predicate transformers
• Year:
• 1992