Journal Articles
Homology, Homotopy and Applications
Year : 2003
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03201458
Submitted on : Sunday, April 18, 2021-8:26:54 PM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Dates and versions
Identifiers
- HAL Id : hal-03201458 , version 1
Cite
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
25
View
0
Download