18 citations · 90 across the 18 of their papers we have counts for
1 paper · 2 filters
Andre Kornell, Bert Lindenhovius, Michael Mislove
This paper unites two research lines. The first involves finding categorical models of quantum programming languages and their type systems. The second line concerns the program of…