Linear Approximations for the Lambda-Calculus and Quantum Computing

Project funded by Fundação para a Ciência e a Tecnologia, I.P. (FCT), grant 2023.05523.BD. Runs 2024-06-01 to 2028-05-31. Source: OpenAIRE Graph, from the funder's project data (collected by OpenAIRE on 2025-07-19); national funding data, not CORDIS. Abstract given by the source: A relação entre o lambda-calculus, os seus sistemas de tipos substruturais e a teoria de funções matemáticas em álgebra linear está longe de ser conhecida por completo. Em particular, o lambda-calculus linear (no sentido computacional) está relacionado com o conceito clássico de linearidade em álgebra linear, embora essa relação não seja trivial; não é coincidência, então, que seja possível fazer aproximações lineares (com um método semelhante ao de expansões por séries de Taylor na matemática) de programas por termos lineares. Trabalhos recentes mostram que esta ligação entre termos lineares e funções lineares é mais clara no domínio da computação quântica. Assim sendo, a proposta geral deste plano de doutoramento é unificar estes conceitos, definindo semânticas para noções de expansões lineares guiadas por tipos com intersecções na Teoria de Categorias e aplicando-as a computação quântica, onde se espera que as aproximações computacionais correspondam exatamente às aproximações lineares matemáticas tradicionais.

Original source.

Source: OpenAIRE Graph: projects of national funders, OpenAIRE, from the project data of Fundação para a Ciência e a Tecnologia, I.P. (FCT). Retrieved 2026-10-22. Licence: Creative Commons Attribution 4.0 (OpenAIRE Graph). Selected metadata, adapted presentation; the publisher's record is authoritative. No endorsement by the source is implied. Licence: Creative Commons Attribution 4.0 (CC BY 4.0).

AI-assisted summary: The project "Linear Approximations for the Lambda-Calculus and Quantum Computing" is funded by FCT from June 1, 2024, to May 31, 2028. It aims to unify concepts of linear approximations in lambda-calculus and quantum computing. Suggested technology pillar: computing. Generated by AI from the public source text; it may contain errors and the original source is authoritative.