Nicolai Kraus, Martín Hötzel Escardó, Thierry Coquand, Thorsten Altenkirch. Generalizations of Hedberg's Theorem. In Masahito Hasegawa, editor, Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Volume 7941 of Lecture Notes in Computer Science, pages 173-188, Springer, 2013. [doi]
Abstract is missing.