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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.