Tom de Jong

Identifiers

• name variant Tom de Jong 0.60 · backfill

Papers (2)

1. Generalized Decidability via Brouwer Trees cs.LO · 2026 · author #1
2. The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory math.CT · 2026 · author #1

Mentions

• 2601.21843 #1 · arxiv_oai · confidence 0.70 Tom de Jong

Frequent Coauthors

• Nicolai Kraus 2 shared papers
• Aref Mohammadzadeh 1 shared papers
• Axel Ljungstr\"om 1 shared papers
• Fredrik Nordvall Forsberg 1 shared papers