A Contextual Logical Framework. - Peter Brottveit Bock; Carsten Schürmann 001 (LPAR, 2015)