Critical Peaks Redefined - $\Phi \bigsqcup \Psi =\top$

Nao Hirokawa, Julian Nagele, Vincent van Oostrom +1

Let a cluster be a term with a number of patterns occurring in it. We give two accounts of clusters, a geometric one as sets of (node and edge) positions, and an inductive one as p…