מיכאל קודיש

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