## Michael Karr

*“Delayability” in Proofs of Strong Normalizability in the Typed Lambda Calculus*

TAPSOFT, 1985.

@inproceedings{CAAP-1985-Karr, author = "Michael Karr", booktitle = "{Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-15198-2_13", isbn = "3-540-15198-2", pages = "208--222", publisher = "{Springer}", title = "{“Delayability” in Proofs of Strong Normalizability in the Typed Lambda Calculus}", year = 1985, }