@doctoralThesis{Kaiser_2019,
title={Formal verification of the equivalence of system F and the pure type system L2},
author={Kaiser, Jonas},
doi={http://dx.doi.org/10.22028/D291-28425},
year={2019}
}