Danko Ilik. The exp-log normal form of types: decomposing extensional equality and representing terms compactly. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 387-399, ACM, 2017. [doi]
Abstract is missing.