@Inproceedings{EPTCS357.1, author = {D\'iaz-Caro, Alejandro}, year = {2022}, title = {A Quick Overview on the Quantum Control Approach to the Lambda Calculus}, editor = {Ayala-Rincon, Mauricio and Bonelli, Eduardo}, booktitle = {{\rm Proceedings 16th} Logical and Semantic Frameworks with Applications, {\rm Buenos Aires, Argentina (Online), 23rd - 24th July, 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {357}, publisher = {Open Publishing Association}, pages = {1-17}, doi = {10.4204/EPTCS.357.1}, }