48 citations · 112 across the 8 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 11 cited
Call-by-value non-determinism in a linear logic type discipline
Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the re…
cs.LO2013
Applying quantitative semantics to higher-order quantum computing
Michele Pagani, Peter Selinger, Benoît Valiron
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this pro…