@article{Freund_2019,
    doi = {10.1142/s0219061320500063},
    url = {https://doi.org/10.1142%2Fs0219061320500063},
    year = {2019},
    month = {oct},
    publisher = {World Scientific Pub Co Pte Lt},
    volume = {20},
    number = {02},
    pages = {2050006},
    author = {Anton Freund},
    title = {Computable aspects of the Bachmann{\textendash}Howard principle},
    journal = {Journal of Mathematical Logic}
}

@article{Freund_2019, doi = {10.1142/s0219061320500063}, url = {https://doi.org/10.1142%2Fs0219061320500063}, year = {2019}, month = {oct}, publisher = {World Scientific Pub Co Pte Lt}, volume = {20}, number = {02}, pages = {2050006}, author = {Anton Freund}, title = {Computable aspects of the Bachmann{\textendash}Howard principle}, journal = {Journal of Mathematical Logic} }