857 citations · 17.5k across the 351 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
QPCF: higher order languages and quantum circuits
Luca Paolini, Mauro Piccolo, Margherita Zorzi
qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be…
cs.LO2010★ 2 cited
Categorical Models for a Semantically Linear Lambda-calculus
Marco Gaboardi, Mauro Piccolo
This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming langua…