Consistency of Equational Enrichments.

Valentin M. Antimirov, Anatoli Degtyarev

Browse the full LPAR paper archive.