Computer Science – Discrete Mathematics
Scientist
Computer Science
Discrete Mathematics
Scientist
École Polytechnique and INRIA
A computational definition of the notion of vectorial space
Causal graph dynamics
From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions
Linear-algebraic lambda-calculus
Linear-algebraic Lambda-calculus: higher-order, encodings and confluence
No associations
LandOfFree
Gilles Dowek does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Gilles Dowek, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Gilles Dowek will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-164944