מיכאל קודיש

Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop