Login / Signup
Wied Pakusa
Publication Activity (10 Years)
Years Active: 2012-2020
Publications (10 Years): 12
Top Topics
Fixed Point
Algebraic Operators
Fixpoint
Proof Theoretic
Top Venues
LICS
CoRR
CSL
Log. Methods Comput. Sci.
</>
Publications
</>