Tiuryn, Jerzy2011-10-202011-10-201995-02Tiuryn, Jerzy. "Equational Axiomatization of Bicoercibility for Polymorphic Types“, Technical Report BUCS-1995-004, Computer Science Department, Boston University, February 16, 1995. [Available from: http://hdl.handle.net/2144/1565]https://hdl.handle.net/2144/1565Two polymorphic types σ and τ are said to be bicoercible if there is a coercion from σ to τ and conversely. We give a complete equational axiomatization of bicoercible types and prove that the relation of bicoercibility is decidable.en-USTechnical Report