DeepAI AI Chat

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

04/08/2022

∙

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

∙ 08/22/2022

From Distributed Quantum Computing to Quantum Internet Computing: an Overview

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

0 Seng W. Loke, et al. ∙

∙ 12/10/2020

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...

0 Alejandro Díaz-Caro, et al. ∙

∙ 10/04/2021

Verification of Distributed Quantum Protocols

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

0 Yong Wang, et al. ∙

∙ 07/19/2020

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...

0 Arit Kumar Bishwas, et al. ∙

∙ 05/08/2020

Advances in Quantum Deep Learning: An Overview

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

0 Siddhant Garg, et al. ∙

∙ 09/06/2021

Analyzing XOR-Forrelation through stochastic calculus

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

0 Xinyu Wu, et al. ∙

∙ 10/23/2020

Classical logic, classical probability, and quantum mechanics

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

0 Samson Abramsky, et al. ∙