TY  - RPRT
TI  - Complete Heyting Algebra Semantics for an Intuitionistic Version of Matching Logic (Extended Abstract)
AU  - Horaţiu Cheval
PY  - 2026
DO  - 10.4204/eptcs.452.14
UR  - https://arxiv.org/abs/2609.34894
ID  - 2609.34894
ER  -