External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 171, Issue 3

    1 -- 2Jean-Pierre Jouannaud, Ian Mackie. Preface
    3 -- 19Germain Faure. Term Collections in lambda and rho-calculi
    21 -- 41Luca Fossati. Handshake Games
    43 -- 53Mircea-Dan Hernest. Light Dialectica Program Extraction from a Classical Fibonacci Proof
    55 -- 75Michel Cosnard, Luigi Liquori, Raphaël Chand. Virtual Organizations in Arigatoni
    77 -- 84Robert K. Meyer. The Better Bubbling Lemma
    85 -- 109Jayshan Raghunandan, Alexander J. Summers. On the Computational Representation of Classical Logical Connectives
    111 -- 126Nikolaos Siafakas. A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine
    127 -- 151Marco Carbone, Kohei Honda, Nobuko Yoshida. A Calculus of Global Interaction based on Session Types
    runs on