Back to Results
First PageMeta Content
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
Add to Reading List

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

Open Document

File Size: 117,29 KB

Share Result on Facebook

City

CNRS / Paris / /

Company

Paulson L.C. / /

Country

Germany / France / /

Facility

TPTP library / /

IndustryTerm

translation tools / type inference algorithm / automated reasoning tools / prover technology / /

Organization

Technische Universität München / TPTP BNF / /

Person

Tobias Nipkow / Florian Rabe / Geoff Sutcliffe / Mark Summerfield / Stephan Schulz / François Bobot / Andrei Popescu / Nicholas Smallbone / Viktor Kuncak / Philipp Rümmer / Morgan Kaufmann / Chad Brown / /

Position

first author / producer / /

TVStation

Wand / /

Technology

Monomorphization algorithms / type inference algorithm / prover technology / /

URL

http /

SocialTag