Date: 2015-01-25 16:18:54

Type 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.

File Size: 117,29 KB