activity
19922003
most citedA Lambda Calculus for Quantum Computation

204 citations · 218 across the 4 of their papers we have counts for

collaborators

7 papers

quant-ph2003204 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-th20024 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…

hep-th20024 cited

On the Representation Theory of Negative Spin

Andre van Tonder

We construct a class of negative spin irreducible representations of the su(2) Lie algebra. These representations are infinite-dimensional and have an indefinite inner product. We…

hep-th20026 cited

Ghosts as Negative Spinors

Andre van Tonder

We study the the properties of a BRST ghost degree of freedom complementary to a two-state spinor. We show that the ghost may be regarded as a unit carrier of negative entropy. We…

hep-th1996

Finite [q-Oscillator] Description of 2-D String Theory

Antal Jevicki, Andre van Tonder

We present a simple physical representation for states of the two-dimensional string theory. In order to incorporate a fundamental cutoff of the order 1/g we use a picture consisti…

hep-th1992

Scattering States and Symmetries in the Matrix Model and Two Dimensional String Theory

A. Jevicki, J. P. Rodrigues, A. J. van Tonder

We study the correspondence between the linear matrix model and the interacting nonlinear string theory. Starting from the simple matrix harmonic oscillator states, we derive in a…