DMCA

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

Cached

Download Links

by Cezary Kaliszyk , Geoff Sutcliffe , Florian Rabe