José Meseguer

• Relating models of polymorphism