Implementing Quantum Lambda Calculus in Haskell Using the Sabry Modeling

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

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

Abstract

This article aims to present a project that seeks an adaptation of Lambda Calculus to the realm of Quantum Computing. This endeavor is based on the quantum behavior implementation proposed by Sabry and the Quantum Lambda Calculus definition provided by Van Tonder. By combining these approaches, the goal is to explore and gain insights into the development of languages, and consequently algorithms, for Quantum Computing.

Keywords: Quantum computing, Haskell, Lambda Calculus

References

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.