2 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
We study an untyped lambda calculus with quantum data and classical control. This work stems from previous proposals by Selinger and Valiron and by Van Tonder. We focus on syntax a…