1 Expert In "Type theory and logic" • University of Waterloo Experts

Experts

1 result for "Type theory and logic":

Photo of Prabhakar Ragde

Prabhakar Ragde

Expert In:

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

© | University of Waterloo | 200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1 | (519) 888-4567

Powered by