Altenkirch, T., & Geniet, C. Big Step Normalisation for Type Theory. Presented at 25th International Conference on Types for Proofs and Programs (TYPES 2019), Oslo, Norway