论文信息 - The Institution of Order-Sorted Equational Logic - 字舞流文

The Institution of Order-Sorted Equational Logic

The paper provides an organisation of order-sorted equational logic as an Institution.

[1] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.