@article{Manzyuk_2012,
    doi = {10.1016/j.entcs.2012.08.017},
    url = {https://doi.org/10.1016%2Fj.entcs.2012.08.017},
    year = {2012},
    month = {sep},
    publisher = {Elsevier {BV}},
    volume = {286},
    pages = {257--272},
    author = {Oleksandr Manzyuk},
    title = {A Simply Typed {$\lambda$}-Calculus of Forward Automatic Differentiation},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Manzyuk_2012, doi = {10.1016/j.entcs.2012.08.017}, url = {https://doi.org/10.1016%2Fj.entcs.2012.08.017}, year = {2012}, month = {sep}, publisher = {Elsevier {BV}}, volume = {286}, pages = {257--272}, author = {Oleksandr Manzyuk}, title = {A Simply Typed {$\lambda$}-Calculus of Forward Automatic Differentiation}, journal = {Electronic Notes in Theoretical Computer Science} }