The first attempt to define a quantum lambda calculus was made by Philip Maymin in 1996.
Quantum lambda calculiを定義する最初の試みは1996年のPhilip Mayminによるものである。