Article Dans Une Revue
Homology, Homotopy and Applications
Année : 2003
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 : jeudi 14 mars 2024-03:14:28
Dates et versions
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⟩
Collections
29
Consultations
0
Téléchargements