Bibtex de la publication

@Book{ SoDi2005.1,
editor = {Soloviev, Sergei and Di Cosmo, Roberto},
title = "{Isomorphism of Types}",
year = {2005},
month = {octobre},
series = {Mathematical Structures in Computer Science},
publisher = {Cambridge University Press},
address = {http://www.cambridge.org/},
volume = {15},
number = {5},
language = {anglais},
keywords = {isomorphisme de types, invertibilite de lambda-termes},
abstract = {Le numero contient l'introduction (Foreword) par S. Soloviev et des articles de R. di Cosmo (survey), G. Barthe, D. Chemouil, J. Gil et Y. Zibin, B. Lang, O. Laurent.}
}