Collaborated with:∅
Talks about:calculus (1) simpler (1) program (1) recurs (1) normal (1) lambda (1) short (1) paper (1) form (1)
Person: Barry Jay
DBLP: Jay:Barry
Contributed to:
20182019Wrote 2 papers:
- PEPM-2018-Jay #normalisation #recursion #source code
- Recursive programs in normal form (short paper) (BJ), pp. 67–73.
- PEPM-2019-Jay #λ-calculus
- A simpler lambda calculus (BJ), pp. 1–9.