Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
University of Ottawa
A lambda calculus for quantum computation with classical control
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
Call-by-value, call-by-name and the vectorial behaviour of algebraic λ-calculus
Semantics of a Typed Algebraic Lambda-Calculus
No associations
LandOfFree
Benoît Valiron does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Benoît Valiron, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Benoît Valiron will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-64168