Programming with equalities, subsorts, overloading, and parametrization in OBJ

• Authors:

• Jean-Pierre Jouannaud;Claude Kirchner;Hélène Kirchner;Aristide Mégrelis

• Affiliations:

• -;-;-;-

• Venue:
• Journal of Logic Programming
• Year:
• 1992