Registered user since Mon 25 Feb 2019

Name: Bruce Kapron

Country: Canada

Affiliation: University of Victoria

Personal website: http://www.cs.uvic.ca/~bmkapron

Research interests: Logic, complexity, cryptography, computability and complexity in higher types

Contributions