Slides presented on the defence
Version submitted as final to the doctoral school
PhD slides presented on 2022-09-15
PhD sent to the reporters
Published at TYPES2020 doi: 10.4230/LIPIcs.TYPES.2020.6