Barry Jay

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 6

Top Topics

Lambda Calculus

Nested Relations

Top Venues

J. Log. Algebraic Methods Program.

Publications

Barry Jay
Intensional computation with higher-order functions. Theor. Comput. Sci. 768 (2019)
Barry Jay
A simpler lambda calculus. PEPM@POPL (2019)
Barry Jay
Self-Quotation in a Typed, Intensional Lambda-Calculus. MFPS (2018)
Barry Jay
Recursive programs in normal form (short paper). PEPM (2018)
Barry Jay, Jose Vergara
Conflicting accounts of λ-definability. J. Log. Algebraic Methods Program. 87 (2017)
Barry Jay
Programs as Data Structures in λSF-Calculus. MFPS (2016)
Barry Jay, Jose Vergara
Confusion in the Church-Turing Thesis. CoRR (2014)
Thomas Given-Wilson, Daniele Gorla, Barry Jay
A Concurrent Pattern Calculus. Log. Methods Comput. Sci. 10 (3) (2014)
Barry Jay, Jose Vergara
Growing a Language in Pattern Calculus. TASE (2013)
Thomas Given-Wilson, Freeman Huang, Barry Jay
Multi-polymorphic programming in bondi. WGP@ICFP (2013)
Thomas Given-Wilson, Barry Jay
A combinatory account of internal structure. J. Symb. Log. 76 (3) (2011)
Thomas Given-Wilson, Daniele Gorla, Barry Jay
Concurrent Pattern Calculus. IFIP TCS (2010)
Barry Jay, Simon L. Peyton Jones
Scrap Your Type Applications. MPC (2008)