DeepAI AI Chat
Log In Sign Up

A Quick Overview on the Quantum Control Approach to the Lambda Calculus

by   Alejandro Díaz-Caro, et al.
University of Buenos Aires

In this short overview, we start with the basics of quantum computing, explaining the difference between the quantum and the classical control paradigms. We give an overview of the quantum control line of research within the lambda calculus, ranging from untyped calculi up to categorical and realisability models. This is a summary of the last 10+ years of research in this area, starting from Arrighi and Dowek's seminal work until today.


page 1

page 2

page 3

page 4


From Distributed Quantum Computing to Quantum Internet Computing: an Overview

The possibility of quantum computing has been proposed decades ago, at l...

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

In a recent paper, a realizability technique has been used to give a sem...

Verification of Distributed Quantum Protocols

Truly concurrent process algebras are generalizations to the traditional...

Parts of Speech Tagging in NLP: Runtime Optimization with Quantum Formulation and ZX Calculus

This paper proposes an optimized formulation of the parts of speech tagg...

Advances in Quantum Deep Learning: An Overview

The last few decades have seen significant breakthroughs in the fields o...

Analyzing XOR-Forrelation through stochastic calculus

In this note we present a simplified analysis of the quantum and classic...

Classical logic, classical probability, and quantum mechanics

We give an overview and conceptual discussion of some of our results on ...