## José Espírito Santo

*The Call-By-Value Lambda-Calculus with Generalized Applications*

CSL, 2020.

@inproceedings{CSL-2020-Santo, author = "José Espírito Santo", booktitle = "{Proceedings of the 28th EACSL Annual Conference on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2020.35", isbn = "978-3-95977-132-0", pages = "12", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{The Call-By-Value Lambda-Calculus with Generalized Applications}", year = 2020, }