10 citations · 21 across the 8 of their papers we have counts for
1 paper · 1 filter
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
Matching logic is a general formal framework for reasoning about a wide range of theories, with particular emphasis on programming language semantics. Notably, the intermediate lan…