ETAPS 2019 (series) / 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 2019 | Type-two Iteration with Bounded Query Revision Tiered complexity at higher order | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile