19 citations · 74 across the 16 of their papers we have counts for
1 paper · 1 filter
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…