Computer Science – Programming Languages
Scientist
Computer Science
Programming Languages
Scientist
Dipartimento di Matematica e Informatica
A Complete Characterization of Complete Intersection-Type Theories
Conway games, algebraically and coalgebraically
RPO, Second-order Contexts, and Lambda-calculus
No associations
LandOfFree
Furio Honsell does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Furio Honsell, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Furio Honsell will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-279727