Vol-1634⫷ Vol-1635 ⫸Vol-1636
urn:nbn:de:0074-1635-0


Vol-1635/paper-04⫷Vol-1635/paper-05⫸Vol-1635/paper-06

TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism