@article{Abadi_1991,
    doi = {10.1017/s0956796800000186},
    url = {https://doi.org/10.1017%2Fs0956796800000186},
    year = {1991},
    month = {oct},
    publisher = {Cambridge University Press ({CUP})},
    volume = {1},
    number = {4},
    pages = {375--416},
    author = {M. Abadi and L. Cardelli and P.-L. Curien and J.-J. L{\'{e}}vy},
    title = {Explicit substitutions},
    journal = {Journal of Functional Programming}
}

@article{Abadi_1991, doi = {10.1017/s0956796800000186}, url = {https://doi.org/10.1017%2Fs0956796800000186}, year = {1991}, month = {oct}, publisher = {Cambridge University Press ({CUP})}, volume = {1}, number = {4}, pages = {375--416}, author = {M. Abadi and L. Cardelli and P.-L. Curien and J.-J. L{\'{e}}vy}, title = {Explicit substitutions}, journal = {Journal of Functional Programming} }