Locus Solum: From the rules of logic to the logic of rules

JEAN-YVES GIRARD

doi:10.1017/S096012950100336X

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) The headquarters of the People Programmer was at An-Fang, and there the mistake happened: A ruby trembled. Two tourmaline nets failed to rectify the laser beam. A diamond noted the error. Both the error and the correction went into the general computer. Cordwainer SmithThe Dead Lady of Clown Town, 1964.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Danvy, Olivier and Nielsen, Lasse R. 2001. Defunctionalization at work. p. 162.

Longo, Giuseppe 2002. Types for Proofs and Programs. Vol. 2277, Issue. , p. 160.

Laurent, O. 2002. Polarized games. p. 265.

Faggian, Claudia and Hyland, Martin 2002. Computer Science Logic. Vol. 2471, Issue. , p. 442.

Faggian, Claudia 2002. Computer Science Logic. Vol. 2471, Issue. , p. 427.

Girard, Jean-Yves 2002. Proof and System-Reliability. p. 167.

Coquand, Thierry Pollack, Randy and Takeyama, Makoto 2003. Typed Lambda Calculi and Applications. Vol. 2701, Issue. , p. 105.

Curien, Pierre-Louis 2003. Domain Theory, Logic and Computation. p. 1.

Pietarinen, Ahti-Veikko 2003. Logic, language games and ludics. Acta Analytica, Vol. 18, Issue. 1-2, p. 89.

Matthes, Ralph and Uustalu, Tarmo 2003. Substitution in Non-wellfounded Syntax with Variable Binding. Electronic Notes in Theoretical Computer Science, Vol. 82, Issue. 1, p. 191.

Maurel, François 2003. Typed Lambda Calculi and Applications. Vol. 2701, Issue. , p. 241.

Maieli, Roberto and Ruet, Paul 2003. Non-commutative logic III: focusing proofs. Information and Computation, Vol. 185, Issue. 2, p. 233.

Girard, Jean-Yves 2003. From Foundations to Ludics. Bulletin of Symbolic Logic, Vol. 9, Issue. 2, p. 131.

Matthes, Ralph and Uustalu, Tarmo 2004. Substitution in non-wellfounded syntax with variable binding. Theoretical Computer Science, Vol. 327, Issue. 1-2, p. 155.

Laurent, Olivier 2004. Polarized games. Annals of Pure and Applied Logic, Vol. 130, Issue. 1-3, p. 79.

Vouillon, Jerome and Melliès, Paul-André 2004. Semantic types. ACM SIGPLAN Notices, Vol. 39, Issue. 1, p. 52.

Vouillon, Jerome and Melliès, Paul-André 2004. Semantic types. p. 52.

Faggian, Claudia 2004. Automata, Languages and Programming. Vol. 3142, Issue. , p. 506.

Laurent, Olivier 2005. Syntax vs. semantics: A polarized approach. Theoretical Computer Science, Vol. 343, Issue. 1-2, p. 177.

Chaudhuri, Kaustuv and Pfenning, Frank 2005. Computer Science Logic. Vol. 3634, Issue. , p. 200.

Download full list

Article contents

Locus Solum: From the rules of logic to the logic of rules

Abstract

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests