Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Università di Torino
Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)
Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference
Safe Recursion on Notation into a Light Logic by Levels
Taming Modal Impredicativity: Superlazy Reduction
Typing a Core Binary Field Arithmetic in a Light Logic
No associations
LandOfFree
Luca Roversi does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Luca Roversi, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Luca Roversi will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-83749