An Introduction to Category-based Equational Logic

• Authors:

• Joseph A. Goguen;Razvan Diaconescu

• Affiliations:

• -;-

• Venue:
• AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
• Year:
• 1995