@article{SPITTERS_2011,
    doi = {10.1017/s0960129511000119},
    url = {https://doi.org/10.1017%2Fs0960129511000119},
    year = {2011},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {21},
    number = {4},
    pages = {795--825},
    author = {BAS SPITTERS and EELIS VAN DER WEEGEN},
    title = {Type classes for mathematics in type theory},
    journal = {Mathematical Structures in Computer Science}
}

@article{SPITTERS_2011, doi = {10.1017/s0960129511000119}, url = {https://doi.org/10.1017%2Fs0960129511000119}, year = {2011}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {21}, number = {4}, pages = {795--825}, author = {BAS SPITTERS and EELIS VAN DER WEEGEN}, title = {Type classes for mathematics in type theory}, journal = {Mathematical Structures in Computer Science} }