Mathematics
Logic
Scientist
Continuation-passing Style Models Complete for Intuitionistic Logic
Delimited control operators prove Double-negation Shift
No associations
LandOfFree
Danko Ilik does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Danko Ilik, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Danko Ilik will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-98797