Revisiting the duality of computation: an algebraic analysis of classical realizability models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Dates and versions

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

Identifiers

Cite

É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 View
86 Download

Altmetric

Share

Gmail Facebook X LinkedIn More