Horatiu Cirstea, Claude Kirchner, Luigi Liquori
Rewriting Calculus with(out) Types
WRLA, 2002.
@article{WRLA-2002-CirsteaKL,
author = "Horatiu Cirstea and Claude Kirchner and Luigi Liquori",
doi = "10.1016/S1571-0661(05)82526-5",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "3--19",
title = "{Rewriting Calculus with(out) Types}",
volume = 71,
year = 2002,
}