Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi
A treatment of higher-order features in logic programming
A two-level logic approach to reasoning about computations
Combining generic judgments with recursive definitions
No associations
LandOfFree
Gopalan Nadathur does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Gopalan Nadathur, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Gopalan Nadathur will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-165115