author = {Martin Giese},}
title = {{A Calculus for Type Predicates and Type Coercion}},
booktitle = {{A Calculus for Type Predicates and Type Coercion}},
language = {english},
series = {LNAI},
volume = {3702},
pages = {123--137},
publisher = {Springer},
address = {Koblenz, Germany},
isbn_issn = {ISBN: 3540289313},
year = {2005},
month = {September},
editor = {B. Beckert},
refereed = {yes},
length = {15}