Login / Signup
Cameron Beebe
ORCID
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 3
Top Topics
Multiresolution
Cut Elimination
Sequent Calculus
Top Venues
Nat. Comput.
UCNC
PC
</>
Publications
</>
Cameron Beebe
Model-based computation.
Nat. Comput.
17 (2) (2018)
Cameron Beebe
Sequent Calculus Representations for Quantum Circuits.
PC
(2016)
Cameron Beebe
Model-Based Computation.
UCNC
(2016)