Smolka generalized order-sorted logic to allow for parametric polymorphism.
Gert Smolka verallgemeinerte die ordnungssortierte Logik, um parametrischen Polymorphismus (engl. parametric polymorphism) zu erlauben.