The vectorial λ-calculus

A fast quantum mechanical algorithm for database search

Lov K. Grover · 1996 · 8.3K citations · Full text

Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer

SIAM Journal on Computing · 1997 · 5.6K citations

Completion of a Set of Rules Modulo a Set of Equations

Jean-Pierre Jouannaud · SIAM Journal on Computing · 1986 · 372 citations

The differential lambda-calculus

Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2003 · 237 citations

Generalized Function, Differential Lambda-calculus, Foundational Calculus +2

A Lambda Calculus for Quantum Computation

André van Tonder · SIAM Journal on Computing · 2004 · 197 citations · Full text