![Type theory / Formal methods / Model theory / Functional programming / Data types / Symbol / Satisfiability Modulo Theories / Hindley–Milner / Geoff Sutcliffe / Theoretical computer science / Mathematics / Mathematical logic Type theory / Formal methods / Model theory / Functional programming / Data types / Symbol / Satisfiability Modulo Theories / Hindley–Milner / Geoff Sutcliffe / Theoretical computer science / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/57b2b0d246c45a2b06f6193db17dbf79.jpg) Date: 2015-01-25 16:18:54Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic | | TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany
Document is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 117,29 KB |