Benoît Valiron

	2008
6		Peter Selinger, Benoît Valiron: A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). FoSSaCS 2008: 81-96
5		Peter Selinger, Benoît Valiron: A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract) CoRR abs/0801.0813: (2008)
4		Peter Selinger, Benoît Valiron: On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 210: 123-137 (2008)
	2006
3		Peter Selinger, Benoît Valiron: A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science 16(3): 527-552 (2006)
	2005
2		Peter Selinger, Benoît Valiron: A Lambda Calculus for Quantum Computation with Classical Control. TLCA 2005: 354-368
	2004
1		Benoît Valiron: Quantum typing CoRR cs.LO/0404056: (2004)

Coauthor Index

1

Peter Selinger

[2] [3] [4] [5] [6]