activity
20212026
most citedOn Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)

1 citations · 2 across the 9 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.PL2023

Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version)

Andrea Colledan, Ugo Dal Lago

Circuit description languages are a class of quantum programming languages in which programs are classical and produce a description of a quantum computation, in the form of a quan…