ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Bruce Kapron

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

DICE-FOPARA 2019Author of Type-two Iteration with Bounded Query Revision within the DICE-FOPARA-track
Author of Tiered complexity at higher order within the DICE-FOPARA-track
Show activities from other conferences

ETAPS 2019-profile
View general profile