@doctoralThesis{Forster_2021,
title={Computability in constructive type theory},
author={Forster, Yannick},
doi={http://dx.doi.org/10.22028/D291-35758},
year={2021}
}