Barry Jay -

Not registered as user yet

Name:Barry Jay

Affiliation:University of Technology Sydney

Contributions

PEPM 2019	Author of A Simpler Lambda Calculus within the PEPM 2019-track
PEPM 2018	Author of Recursive Programs in Normal Form (Short Paper) within the PEPM 2018-track Session Chair of Session 2-3 (part of PEPM 2018)