RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 46 (2012) no. 2

Foreword ICTCS 2010 special issue

Moggi, Eugenio

p. 201

Polini, Andrea ; Polzonetti, Andrea ; Re, Barbara

p. 203-229

Honsell, Furio ; Lenisa, Marina ; Redamalla, Rekha

p. 231-259

Cantone, Domenico ; Formisano, Andrea ; Asmundo, Marianna Nicolosi ; Omodeo, Eugenio Giovanni

p. 261-289

Easy lambda-terms are not always simple

Carraro, Alberto ; Salibra, Antonino

p. 291-314

Giambruno, Laura ; Mantaci, Sabrina

p. 315-328