External Links

    Journal: Annals of Pure and Applied Logic

    Volume 134, Issue 2-3

    95 -- 121Benno van den Berg. Inductive types and exact completion
    122 -- 168Samson Abramsky, Marina Lenisa. Linear realizability and full completeness for typed lambda-calculi
    169 -- 216Thomas Blossier. Subgroups of the additive group of a separably closed field
    217 -- 264Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco. Polarized and focalized linear and classical proofs
    265 -- 283Andrew M. W. Glass, Angus Macintyre, Françoise Point. Free abelian lattice-ordered groups
    284 -- 302Thomas Studer. Explicit mathematics: power types and overloading
    303 -- 313Alessandro Berarducci, Margarita Otero, Ya acov Peterzil, Anand Pillay. A descending chain condition for groups definable in ::::o::::-minimal structures

    Volume 134, Issue 1

    1 -- 4Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov. WoLLIC 2002
    5 -- 41Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine. Comparing and implementing calculi of explicit substitutions with eta-reduction
    43 -- 51Ricardo Bianconi. Undefinability results in o-minimal expansions of the real numbers
    53 -- 61Felipe Cucker. On sparseness, reducibilities, and complexity
    63 -- 82Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola. Safe beliefs for propositional theories
    83 -- 93Rohit Parikh, Jouko A. Väänänen. Finite information logic
    runs on