activity
19922008
most citedA Lambda Calculus for Quantum Computation

204 citations · 275 across the 11 of their papers we have counts for

collaborators

11 papers

hep-th2008★ 11 cited

Unitarity, Lorentz invariance and causality in Lee-Wick theories: An asymptotically safe completion of QED

André van Tonder

We revisit the previously unsolved problems of ensuring Lorentz invariance and non-perturbative unitarity in Lee-Wick theories. We base our discussion on an ultraviolet completion…

hep-th2006★ 17 cited

Non-perturbative Quantization of Phantom and Ghost Theories: Relating Definite and Indefinite Representations

André van Tonder, Miquel Dorca

We investigate the non-perturbative quantization of phantom and ghost degrees of freedom by relating their representations in definite and indefinite inner product spaces. For a la…

hep-th2006★ 1 cited

Worldsheet Covariant Path Integral Quantization of Strings

André van Tonder

We discuss a covariant functional integral approach to the quantization of the bosonic string. In contrast to approaches relying on non-covariant operator regularizations, interest…

hep-th2004★ 2 cited

Coordinate-invariant Path Integral Methods in Conformal Field Theory

André van Tonder

We present a coordinate-invariant approach, based on a Pauli-Villars measure, to the definition of the path integral in two-dimensional conformal field theory. We discuss some adva…

quant-ph2003★ 204 cited

A Lambda Calculus for Quantum Computation

Andre van Tonder

The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about computation. It provides a computational model equ…

hep-th2002★ 4 cited

Cohomology and Decomposition of Tensor Product Representations of SL(2,R)

Andre van Tonder

We analyze the decomposition of tensor products between infinite dimensional (unitary) and finite-dimensional (non-unitary) representations of SL(2,R). Using classical results on i…