Philippe de Groote. On Logical Relations and Conservativity. In Makoto Kanazawa, Lawrence S. Moss, Valeria de Paiva, editors, Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015. Volume 32 of EPiC Series in Computing, pages 1-11, EasyChair, 2015. [doi]
Abstract is missing.