Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
University of Turin and Queen Mary, University of London
Interactive Learning Based Realizability and 1-Backtracking Games
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
Learning, Realizability and Games in Classical Arithmetic
No associations
LandOfFree
Federico Aschieri does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Federico Aschieri, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Federico Aschieri will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-367904