Valiron, Benoît

1. A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
   2008/01/05 by Peter Selinger, Selinger, Peter, Benoît Valiron +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #D.3.1 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. The Many-Worlds Calculus
   2022/06/21 by Kostia Chardonnet, Marc de Visme, Chardonnet, Kostia +5 · 2 citations
   Computer Science · #Quantum Computing Algorithms and Architecture #Logic, programming, and type systems #Advanced Database Systems and Queries
3. Applying quantitative semantics to higher-order quantum computing
   2013/11/10 by Pagani, Michele, Selinger, Peter, Valiron, Benoît · 1 citation
   #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
4. A Curry-Howard Correspondence for Linear, Reversible Computation
   2023/02/23 by Chardonnet, Kostia, Saurin, Alexis, Valiron, Benoît · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)