Learning Closed Signal Flow Graphs. - Ekaterina Piotrovskaya; Leo Lobski; Fabio Zanasi (ICTAC, 2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic. - Victor Barroso-Nascimento; Ekaterina Piotrovskaya; Elaine Pimentel (CoRR, 2025)

A Sequent Calculus Perspective on Base-Extension Semantics. - Victor Barroso-Nascimento; Ekaterina Piotrovskaya; Elaine Pimentel (CoRR, 2025)