output
20172023
most citedQuantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

11 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2020 · cs.LOShow all

1 paper · 2 filters

cs.LO2020★ 11 cited

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

Alejandro Díaz-Caro, Octavio Malherbe

In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules…