Name:Nicholas Rioux

Country:United States

Affiliation:Northeastern University

Research interests:Programming Languages, Type Theory, Logical Relations