We develop a type theory and provide a denotational semantics for a simple fragment of the quantum lambda calculus, a formal language for quantum computation based on linear logic. In our semantics,â€¦ (More)

Following a previous work on the quantization of a massless scalar field in a spacetime representing the head on collision of two plane waves which fucus into a KillingCauchy horizon, we compute theâ€¦ (More)

We study the quantization of a scalar field on a classical background given by the Szekeres Class of solutions, which represent the collision of two gravitational plane waves with constantâ€¦ (More)

In a recent work on the quantization of a massless scalar field in a particular colliding plane wave space-time, we computed the vacuum expectation value of the stress-energy tensor on the physicalâ€¦ (More)

In a recent work an approximation procedure was introduced to calculate the vacuum expectation value of the stress-energy tensor for a conformal massless scalar field in the classical backgroundâ€¦ (More)

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 large class ofâ€¦ (More)

In a recent work on the quantization of a massless scalar field in a particular colliding plane wave space-time, we computed the vacuum expectation value of the stress-energy tensor on the physicalâ€¦ (More)