@article{DE_CARVALHO_2017,
    doi = {10.1017/s0960129516000396},
    url = {https://doi.org/10.1017%2Fs0960129516000396},
    year = {2017},
    month = {jan},
    publisher = {Cambridge University Press ({CUP})},
    volume = {28},
    number = {7},
    pages = {1169--1203},
    author = {DANIEL DE CARVALHO},
    title = {Execution time of {$\lambda$}-terms via denotational semantics and intersection types},
    journal = {Mathematical Structures in Computer Science}
}

@article{DE_CARVALHO_2017, doi = {10.1017/s0960129516000396}, url = {https://doi.org/10.1017%2Fs0960129516000396}, year = {2017}, month = {jan}, publisher = {Cambridge University Press ({CUP})}, volume = {28}, number = {7}, pages = {1169--1203}, author = {DANIEL DE CARVALHO}, title = {Execution time of {$\lambda$}-terms via denotational semantics and intersection types}, journal = {Mathematical Structures in Computer Science} }