Hilken, B. P. (1994). Towards a proof theory of rewriting: The simply-typed 2-lambda calculus.
Chicago-Zitierstil (17. Ausg.)Hilken, Barnaby P. Towards a Proof Theory of Rewriting: The Simply-typed 2-lambda Calculus. Cambridge, 1994.
MLA-Zitierstil (9. Ausg.)Hilken, Barnaby P. Towards a Proof Theory of Rewriting: The Simply-typed 2-lambda Calculus. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.