Home
DCC eCatalog
Jerzy__Tiuryn
Equational axiomatization of bicoercibility for polymorphic types
