@article{van_Bakel_2008,
    doi = {10.1016/j.tcs.2008.01.020},
    url = {https://doi.org/10.1016%2Fj.tcs.2008.01.020},
    year = {2008},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {398},
    number = {1-3},
    pages = {82--94},
    author = {Steffen van Bakel},
    title = {The heart of intersection type assignment: Normalisation proofs revisited},
    journal = {Theoretical Computer Science}
}

@article{van_Bakel_2008, doi = {10.1016/j.tcs.2008.01.020}, url = {https://doi.org/10.1016%2Fj.tcs.2008.01.020}, year = {2008}, month = {may}, publisher = {Elsevier {BV}}, volume = {398}, number = {1-3}, pages = {82--94}, author = {Steffen van Bakel}, title = {The heart of intersection type assignment: Normalisation proofs revisited}, journal = {Theoretical Computer Science} }