Revisiting the duality of computation: an algebraic analysis of classical realizability models
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Étienne Miquey : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02305560
Soumis le : lundi 13 janvier 2020-10:18:01
Dernière modification le : vendredi 24 mars 2023-14:53:14