@article{VAUX_2009,
    doi = {10.1017/s0960129509990089},
    url = {https://doi.org/10.1017%2Fs0960129509990089},
    year = {2009},
    month = {aug},
    publisher = {Cambridge University Press ({CUP})},
    volume = {19},
    number = {5},
    pages = {1029--1059},
    author = {LIONEL VAUX},
    title = {The algebraic lambda calculus},
    journal = {Mathematical Structures in Computer Science}
}

@article{VAUX_2009, doi = {10.1017/s0960129509990089}, url = {https://doi.org/10.1017%2Fs0960129509990089}, year = {2009}, month = {aug}, publisher = {Cambridge University Press ({CUP})}, volume = {19}, number = {5}, pages = {1029--1059}, author = {LIONEL VAUX}, title = {The algebraic lambda calculus}, journal = {Mathematical Structures in Computer Science} }