Revisiting the duality of computation: an algebraic analysis of classical realizability models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Dates et versions

hal-02305560 , version 1 (04-10-2019)
hal-02305560 , version 2 (13-01-2020)

Identifiants

Citer

Étienne Miquey. Revisiting the duality of computation: an algebraic analysis of classical realizability models. CSL 2020 - Conference on Computer Science Logic, Jan 2020, Barcelone, Spain. pp.1-52, ⟨10.4230/LIPIcs.CSL.2020.30⟩. ⟨hal-02305560v2⟩
163 Consultations
86 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More