Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
LIPN
ENS Lyon
A feasible algorithm for typing in Elementary Affine Logic
An affine-intuitionistic system of types and effects: confluence and termination
An affine-intuitionistic system of types and effects: confluence and termination
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
Light Logics and Optimal Reduction: Completeness and Complexity
No associations
LandOfFree
Patrick Baillot does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Patrick Baillot, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Patrick Baillot will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-173646