Volume 9,
Number 1,
February 1999
Volume 9,
Number 2,
April 1999
Volume 9,
Number 3,
June 1999
Volume 9,
Number 4,
August 1999
- Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin:
Preface.
321 BibTeX
- Thierry Coquand, Martin Hofmann:
A new method for establishing conservativity of classical systems over their intuitionistic version.
323-333 BibTeX
- Herman Geuvers, Erik Barendsen:
Some logical and syntactical observations concerning the first-order dependent type system lambda-P.
335-359 BibTeX
- Richard Statman:
On the existence of n but not n + 1 easy combinators.
361-365 BibTeX
- Davide Sangiorgi:
From lambda to pi; or, Rediscovering continuations.
367-401 BibTeX
- Furio Honsell, Marina Lenisa:
Coinductive characterizations of applicative structures.
403-435 BibTeX
- Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli:
A semantics for lambda calculi with resources.
437-482 BibTeX
- Inge Bethke, Jan Willem Klop, Roel C. de Vrijer:
Extending partial combinatory algebras.
483-505 BibTeX
- Norman Danner, Daniel Leivant:
Stratified polymorphism and primitive recursion.
507-522 BibTeX
Volume 9,
Number 5,
October 1999
Volume 9,
Number 6,
December 1999
Copyright © Sun May 17 00:14:17 2009
by Michael Ley (ley@uni-trier.de)
