Dan, Tran Ngoc and Phung, Nguyen Thi Kim and Tu, Nguyen Thi Hong and Han, Nguyen Van (2025) A Review of Quantum Lambda Calculi: Linearity, Semantics, and Programming Models. EAI Endorsed Transactions on Contex-aware Systems and Applications.
![[thumbnail of 79209.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "79209.pdf")
PDF
79209.pdf
Download (956kB)
Abstract
Quantum lambda calculi extend classical lambda calculus to model quantum computation by integrating linear types, quantum operations, and classical control. This paper surveys key calculi—including QΛ, QLC, Proto-Quipper, and QML—highlighting their design principles, type systems, and semantic found
| Item Type: | Article |
|---|---|
| Date Deposited: | 04 Mar 2026 20:14 |
| Last Modified: | 10 Apr 2026 18:18 |
| URI: | http://eprints.eai.eu/id/eprint/59865 |
Actions (login required)
- View Item