Revisiting the duality of computation: an algebraic analysis of classical realizability models

Étienne Miquey

doi:10.4230/LIPIcs.CSL.2020.30

Communication Dans Un Congrès Année : 2020

Revisiting the duality of computation: an algebraic analysis of classical realizability models

(1, 2)

1
2

Étienne Miquey

Fonction : Auteur
PersonId : 6597
IdHAL : emiquey
ORCID : 0000-0002-5987-6547

Gallinette : vers une nouvelle génération d'assistant à la preuve

Laboratoire des Sciences du Numérique de Nantes

Mots clés

Theory of computation → Proof theory Theory of computation → Type theory Keywords and phrases realizability model theory forcing proofs-as-programs λ-calculus classical logic lattices tripos call-by-name duality call-by-value 2012 ACM Subject Classification Theory of computation → Logic

Domaines

Logique en informatique [cs.LO]

Fichier principal

main.pdf (764.06 Ko)

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 : mardi 27 août 2024-12:51:22

Dates et versions

hal-02305560 , version 1 (04-10-2019)

hal-02305560 , version 2 (13-01-2020)

Identifiants

HAL Id : hal-02305560 , version 2
ARXIV : 1910.02732
DOI : 10.4230/LIPIcs.CSL.2020.30

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE

191 Consultations

107 Téléchargements

Revisiting the duality of computation: an algebraic analysis of classical realizability models

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager