Growing a Language in Pattern Calculus. - Barry Jay; Jose Vergara (TASE, 2013)

Confusion in the Church-Turing Thesis. - Barry Jay; Jose Vergara (CoRR, 2014)

Conflicting accounts of λ-definability. - Barry Jay; Jose Vergara (J. Log. Algebraic Methods Program., 2017)