diff --git a/ACV-abstract-2026/big-step-short.vtc b/ACV-abstract-2026/big-step-short.vtc deleted file mode 100644 index a32e4b3..0000000 --- a/ACV-abstract-2026/big-step-short.vtc +++ /dev/null @@ -1 +0,0 @@ -\contitem\title{From Abstract Higher-Order GSOS to Abstract Big-Step Semantics, Abstractly (Early Idea)}\author{Sergey Goncharov, Pouya Partow, and Stelios Tsampas}\page{:1--:3} diff --git a/ACV-abstract-2026/sym-sim.cit b/ACV-abstract-2026/sym-sim.cit deleted file mode 100644 index ba23611..0000000 --- a/ACV-abstract-2026/sym-sim.cit +++ /dev/null @@ -1 +0,0 @@ -d41d8cd98f00b204e9800998ecf8427e - diff --git a/ACV-abstract-2026/sym-sim.vtc b/ACV-abstract-2026/sym-sim.vtc deleted file mode 100644 index 3722f55..0000000 --- a/ACV-abstract-2026/sym-sim.vtc +++ /dev/null @@ -1 +0,0 @@ -\contitem\title{Soundness and Completeness of Symmetric Relators}\author{Sergey Goncharov and Pouya Partow}\page{:1--:3}