Ezra Schoen

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Top Venues

Publications

Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CMCS (2024)
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CoRR (2024)
Ezra Schoen, Jade Master, Clemens Kupke
Relative fixed points of functors. CoRR (2023)
Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen
Preservation and Reflection of Bisimilarity via Invertible Steps. FoSSaCS (2023)
Ezra Schoen, Jade Master, Clemens Kupke
Beyond Initial Algebras and Final Coalgebras. CoRR (2023)
Ezra Schoen
Lax Liftings and Lax Distributive Laws. ACT (2022)