Quantum lambda calculus

Author: Guram gkashmadze
Keywords: qubit, entanglement, teleportation
Annotation:

We consider characteristic notions of classical and quantum lambda calculi. An application of quantum lambda functions to describe the teleportation is also given