Bibtex de la publication

@Book{ MaSo2008.3,
editor = {Matthes, Ralph and Soloviev, Sergei},
title = "{Isomorphism of types and invertibility of lambda terms}",
year = {2008},
month = {août},
series = {Mathematical Structures in Computer Science},
publisher = {Cambridge University Press},
address = {http://www.cambridge.org/},
volume = {18},
language = {anglais},
keywords = {isomorphism of types, invertibility, lambda terms}
}