# On the geometry of intuitionistic S4 proofs.

Goubault-Larrecq, Jean; Goubault, Éric

Homology, Homotopy and Applications (2003)

- Volume: 5, Issue: 2, page 137-209
- ISSN: 1532-0073

## Access Full Article

top## How to cite

topGoubault-Larrecq, Jean, and Goubault, Éric. "On the geometry of intuitionistic S4 proofs.." Homology, Homotopy and Applications 5.2 (2003): 137-209. <http://eudml.org/doc/50340>.

@article{Goubault2003,

author = {Goubault-Larrecq, Jean, Goubault, Éric},

journal = {Homology, Homotopy and Applications},

keywords = {lambda-calculus; presheaves; resolution functors; proofs-as-programs; Curry-Howard isomorphism; intuitionistic modal logic S4; monoidal comonad; simplicial sets; semantics; spaces of proofs; subcone categories},

language = {eng},

number = {2},

pages = {137-209},

publisher = {International Press, Somerville},

title = {On the geometry of intuitionistic S4 proofs.},

url = {http://eudml.org/doc/50340},

volume = {5},

year = {2003},

}

TY - JOUR

AU - Goubault-Larrecq, Jean

AU - Goubault, Éric

TI - On the geometry of intuitionistic S4 proofs.

JO - Homology, Homotopy and Applications

PY - 2003

PB - International Press, Somerville

VL - 5

IS - 2

SP - 137

EP - 209

LA - eng

KW - lambda-calculus; presheaves; resolution functors; proofs-as-programs; Curry-Howard isomorphism; intuitionistic modal logic S4; monoidal comonad; simplicial sets; semantics; spaces of proofs; subcone categories

UR - http://eudml.org/doc/50340

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.