Collaborated with:
C.Angiuli U.A.Acar K.Fatahalian
Talks about:
calculus (1) automat (1) lambda (1) stage (1) split (1) two (1)
Person: Nicolas Feltman
DBLP: Feltman:Nicolas
Contributed to:
Wrote 1 papers:
- ESOP-2016-FeltmanAAF #automation #λ-calculus
- Automatically Splitting a Two-Stage Lambda Calculus (NF, CA, UAA, KF), pp. 255–281.