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