Bruce Kapron

Registered user since Mon 25 Feb 2019

Name:Bruce Kapron
Country:Canada
Affiliation:University of Victoria
Research interests:Logic, complexity, cryptography, computability and complexity in higher types

Contributions