1 expert in "type theory and logic" found:

Prabhakar Ragde

Expert In:

Algorithms and complexity
Type theory and logic
Certified software
Computer science education

© | Expertise Finder | Toronto (Canada) | 1-888-978-5418 | info@expertisefinder.com | Home | Privacy | User Agreement

Powered by