Skip to Main content Skip to Navigation
Journal articles

On the Geometry of Intuitionistic S4 Proofs

Complete list of metadata

https://hal.inria.fr/hal-03201458
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 18, 2021 - 8:26:54 PM
Last modification on : Sunday, May 2, 2021 - 3:27:44 AM

Identifiers

  • HAL Id : hal-03201458, version 1

Citation

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

Share

Metrics

Record views

21