Tim Stokes

Identifiers

• name variant Tim Stokes 0.60 · backfill

Papers (2)

1. Constellations and their relationship with categories math.CT · 2015 · author #2
2. Monoids with tests and the algebra of possibly non-halting programs math.LO · 2014 · author #2

Mentions

• 1510.05809 #2 · backfill · confidence 0.70 Tim Stokes
• 1408.4498 #2 · backfill · confidence 0.70 Tim Stokes

Frequent Coauthors

• Marcel Jackson 1 shared papers
• Victoria Gould 1 shared papers