Login / Signup
Hannah Earley
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Dynamic Logic
Multi Valued
Markov Chain
Statistical Model
Top Venues
CoRR
RC
</>
Publications
</>
Hannah Earley
Reversible Bond Logic.
CoRR
(2023)
Hannah Earley
The ℵ-Calculus - A Declarative Model of Reversible Programming.
RC
(2022)
Hannah Earley
The א-Calculus: A declarative model of reversible programming.
CoRR
(2022)