Thomas Forster

Identifiers

• name variant Thomas Forster 0.60 · backfill

Papers (1)

1. Decidable fragments of the Simple Theory of Types with Infinity and NF math.LO · 2014 · author #2

Mentions

• 1406.4384 #2 · backfill · confidence 0.70 Thomas Forster

Frequent Coauthors

• Anuj Dawar 1 shared papers
• Zachiri McKenzie 1 shared papers