author : Frank Pfenning

Books

• Types in Logic Programming. 1992