Graphical Language with Delayed Trace (Carette, de Visme, Perdrix, 2021)

Last updated Oct 4, 2022

#paper

• Kl(D) is not pseudopurifiable

Tags: Trace, Feedback category