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

Registered user since Mon 25 Feb 2019

Name:Bruce Kapron
Affiliation:University of Victoria
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