On Logical Relations and Conservativity
Résumé
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.
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|