Barry Jay

Identifiers

• name variant Barry Jay 0.60 · backfill

Papers (2)

1. Simple Types for Polymorphic Functions cs.LO · 2026 · author #1
2. Confusion in the Church-Turing Thesis cs.LO · 2014 · author #1

Mentions

• 1410.7103 #1 · arxiv_oai · confidence 0.70 Barry Jay
• 1410.7103 #1 · backfill · confidence 0.70 Barry Jay

Frequent Coauthors

• Johannes Bader 1 shared papers
• Jose Vergara 1 shared papers