Mark-Oliver Stehr
CINNI — A Generic Calculus of Explicit Substitutions and its Application to λ-, ς- and pi- Calculi
WRLA, 2000.
@article{WRLA-2000-Stehr,
author = "Mark-Oliver Stehr",
doi = "10.1016/S1571-0661(05)80125-2",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "70--92",
title = "{CINNI — A Generic Calculus of Explicit Substitutions and its Application to λ-, ς- and pi- Calculi}",
volume = 36,
year = 2000,
}