Annals of Pure and Applied Logic, Volume 134

Volume 134, Number 1, June 2005

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

Volume 134, Numbers 2-3, July 2005

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