Login / Signup
Duy Lam
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Minimum Cost
Recursive Functions
Top Venues
FormaliSE
</>
Publications
</>
Eli Pregerson
,
Shaheen Cullen-Baratloo
,
David Chen
,
Duy Lam
,
Max Szostak
,
Lucas Bang
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity.
FormaliSE
(2023)