Scrap Your Type Applications. - Barry Jay; Simon L. Peyton Jones (MPC, 2008)

Pattern Calculus - Computing with Functions and Structures. - Barry Jay (Springer, 2009)

A combinatory account of internal structure. - Thomas Given-Wilson; Barry Jay (J. Symb. Log., 2011)

Multi-polymorphic programming in bondi. - Thomas Given-Wilson; Freeman Huang; Barry Jay (WGP@ICFP, 2013)

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

A Concurrent Pattern Calculus. - Thomas Given-Wilson; Daniele Gorla; Barry Jay (Log. Methods Comput. Sci., 2014)

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

Programs as Data Structures in λSF-Calculus. - Barry Jay (MFPS, 2016)

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

Recursive programs in normal form (short paper). - Barry Jay (PEPM, 2018)

Self-Quotation in a Typed, Intensional Lambda-Calculus. - Barry Jay (MFPS, 2018)

A simpler lambda calculus. - Barry Jay (PEPM@POPL, 2019)

Intensional computation with higher-order functions. - Barry Jay (Theor. Comput. Sci., 2019)

Typed Program Analysis without Encodings. - Barry Jay (PEPM, 2025)