Mathematics
Logic
Scientist
ULTRA
A complete realisability semantics for intersection types and arbitrary expansion variables
Realisability Semantics for Intersection Types and Expansion Variables
No associations
LandOfFree
Vincent Rahli does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Vincent Rahli, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Vincent Rahli will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-173068