On the Geometry of Intuitionistic S4 Proofs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Homology, Homotopy and Applications Année : 2003

On the Geometry of Intuitionistic S4 Proofs

Domaines

Logique [math.LO] Topologie algébrique [math.AT]

Jean Goubault-Larrecq  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03201458

Soumis le : dimanche 18 avril 2021-20:26:54

Dernière modification le : mercredi 3 avril 2024-11:14:11

Fichier non déposé

Dates et versions

hal-03201458 , version 1 (18-04-2021)

Identifiants

  • HAL Id : hal-03201458 , version 1

Citer

Jean Goubault-Larrecq, Eric Goubault. On the Geometry of Intuitionistic S4 Proofs. Homology, Homotopy and Applications, 2003, 5 (2), pp.137-209. ⟨hal-03201458⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA CNRS ENS-CACHAN DRT LIST ENS-PARIS-SACLAY GS-SPORT-HUMAN-MOVEMENT
29 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More