On identity, computation, and everything between
Our inaugural call invites work connecting higher structures with executable semantics.
Announcements
From the editorial desk.
Calls for papers, monthly digests, and editorial reflections.
Announcements
Calls for papers, monthly digests, and editorial reflections.
Our inaugural call invites work connecting higher structures with executable semantics.