On Logical Relations and Conservativity
Philippe de Groote · EPiC series in computing · 2018
This paper, which attempts to develop an abstract construct that generalizes the intensionalization procedure introduced by Kanazawa and de Groote, advocates for the use of logical relations in order to establish conservativity results.