Implementando o Cálculo Lambda Quântico em Haskell Utilizando a Modelagem de Sabry

• Flávio Borin Júnior Universidade Federal de Santa Maria (UFSM)
• Juliana Kaizer Vizzotto Universidade Federal de Santa Maria (UFSM)

DOI: https://doi.org/10.5753/weit.2023.26596

Resumo

Este artigo tem como objetivo apresentar a investigação de uma adaptação do Cálculo Lambda para a esfera da Computação Quântica. Para tanto apresenta-se a implementação do modelo de computação quântica proposto por Sabry e a definição do Cálculo Lambda Quântico fornecida por Van Tonder. Ao unir estas abordagens, almeja-se explorar e aprender sobre o desenvolvimento de linguagens, e consequentemente algoritmos, para a Computação Quântica.

Palavras-chave: Computação quântica, Haskell, Cálculo Lambda

Referências

Pierce, B. C. (2002). Types and Programming Language. The MIT Press, 1st edition.

Sabry, A. (2003). Modeling quantum computing in Haskell.

van Tonder, A. (2004). A lambda calculus for quantum computation.

Yanofsky, N. S. and Mannucci, M. A. (2008). Quantum Computing for Computer Scientists. Cambridge University Press, 1st edition.