19 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 2 cited
Confusion in the Church-Turing Thesis
Barry Jay, Jose Vergara
The Church-Turing Thesis confuses numerical computations with symbolic computations. In particular, any model of computability in which equality is not definable, such as the lambd…
cs.LO2014★ 19 cited
A Concurrent Pattern Calculus
Thomas Given-Wilson, Daniele Gorla, Barry Jay
Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pa…