Texts

Publications:

• Big-steps in Higher-order Mathematical Operational Semantics , ICFP 2025 

Extended Abstracts:

• From Abstract Higher-Order GSOS to Abstract Big-Step Semantics, Abstractly (Early Ideas), CALCO 2025

Theses:

• بهبود روش وارسی مدل با استفاده از نظریه تعبیر مجرد
  [Improving model checking with abstract interpretation] (Master's thesis) - September 2023, University of Tehran