161 followers
これが関係あるかも: https://t.co/SgJjK0yO4H Jerzy Tiuryn. Equational axiomatization of bicoercibility for polymorphic types. FSTTCS 1995.
これが関係あるかも: https://t.co/SgJjK0yO4H Jerzy Tiuryn. Equational axiomatization of bicoercibility for polymorphic types. FSTTCS 1995.