Login / Signup
Peter Hanukaev
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Combining Multiple
Multi Valued
Set Theory
Modal Logic
Top Venues
CoRR
TyDe@ICFP
</>
Publications
</>
Peter Hanukaev
,
Harley Eades III
Combining Dependency, Grades, and Adjoint Logic.
TyDe@ICFP
(2023)
Peter Hanukaev
,
Harley Eades III
Combining dependency, grades, and adjoint logic.
CoRR
(2023)