Volume 398,
Numbers 1-3,
May 2008
Calculi,
Types and Applications:
Essays in honour of M. Coppo,
M. Dezani-Ciancaglini and S. Ronchi Della Rocca
Contributions
- Henk Barendregt:
Towards the range property for the lambda theory H.
12-15
Electronic Edition (link) BibTeX
- Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer:
Lambda calculus with patterns.
16-31
Electronic Edition (link) BibTeX
- Ugo Dal Lago, Simone Martini:
The weak lambda calculus as a reasonable machine.
32-50
Electronic Edition (link) BibTeX
- Luca Paolini:
Parametric lambda -theories.
51-62
Electronic Edition (link) BibTeX
- Gérard Boudol:
On strong normalization and type inference in the intersection type discipline.
63-81
Electronic Edition (link) BibTeX
- Steffen van Bakel:
The heart of intersection type assignment: Normalisation proofs revisited.
82-94
Electronic Edition (link) BibTeX
- Viviana Bono, Betti Venneri, Lorenzo Bettini:
A typed lambda calculus with intersection types.
95-113
Electronic Edition (link) BibTeX
- Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage.
114-128
Electronic Edition (link) BibTeX
- Fabio Alessi:
An irregularfilter model.
129-149
Electronic Edition (link) BibTeX
- Pietro Di Gianantonio, Furio Honsell, Marina Lenisa:
A type assignment system for game semantics.
150-169
Electronic Edition (link) BibTeX
- Mathieu Hoyrup, Arda Kolçak, Giuseppe Longo:
Computability and the morphological complexity of some dynamics on continuous domains.
170-182
Electronic Edition (link) BibTeX
- Ines Margaria, Maddalena Zacchi:
Access control in mobile ambient calculi: A comparative view.
183-202
Electronic Edition (link) BibTeX
- Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger:
Role-based access control for boxed ambients.
203-216
Electronic Edition (link) BibTeX
- Giuseppe Castagna, Rocco De Nicola, Daniele Varacca:
Semantic subtyping for the pi-calculus.
217-242
Electronic Edition (link) BibTeX
- Luigi Liquori, Arnaud Spiwack:
Extending FeatherTrait Java with Interfaces.
243-260
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:15 2009
by Michael Ley (ley@uni-trier.de)
