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:

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


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

ETAPS 2019-profile
View general profile