@article{HEDBERG_1998,
    doi = {10.1017/s0956796898003153},
    url = {https://doi.org/10.1017%2Fs0956796898003153},
    year = {1998},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {8},
    number = {4},
    pages = {413--436},
    author = {MICHAEL HEDBERG},
    title = {A coherence theorem for Martin-Löf{\textquotesingle}s type theory},
    journal = {Journal of Functional Programming}
}

@article{HEDBERG_1998, doi = {10.1017/s0956796898003153}, url = {https://doi.org/10.1017%2Fs0956796898003153}, year = {1998}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {8}, number = {4}, pages = {413--436}, author = {MICHAEL HEDBERG}, title = {A coherence theorem for Martin-Löf{\textquotesingle}s type theory}, journal = {Journal of Functional Programming} }