<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> <span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> not necessarily. For example, nominal (as in racket), locally nameless, de Bruijn, and co de Bruijn negotiate the representation of names differently, but have the same semantic content in term of the representation of abstract syntax.</p><p>But I wonder if what you call 'semantics' is still in the realm of what I call 'syntax'. I think <span class="h-card" translate="no"><a href="https://types.pl/@wilbowma" class="u-url mention">@<span>wilbowma</span></a></span> wrote a blog post about it.</p>
