## Ulrich Berger, Helmut Schwichtenberg

*An Inverse of the Evaluation Functional for Typed λ-calculus*

LICS, 1991.

@inproceedings{LICS-1991-BergerS, author = "Ulrich Berger and Helmut Schwichtenberg", booktitle = "{Proceedings of the Sixth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1991.151645", isbn = "0-8186-2230-X", pages = "203--211", publisher = "{IEEE Computer Society}", title = "{An Inverse of the Evaluation Functional for Typed λ-calculus}", year = 1991, }