pouya/coalgebraic-simulation
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

removed non-src files

Browse Source
This commit is contained in:
Sergey Goncharov 2026-05-20 18:06:43 +01:00
parent b72e235839
commit 8eb27be8cd
3 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ACV-abstract-2026/big-step-short.vtc
View File

@ -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}

1
ACV-abstract-2026/sym-sim.cit
View File

@ -1 +0,0 @@
d41d8cd98f00b204e9800998ecf8427e -

1
ACV-abstract-2026/sym-sim.vtc
View File

@ -1 +0,0 @@
\contitem\title{Soundness and Completeness of Symmetric Relators}\author{Sergey Goncharov and Pouya Partow}\page{:1--:3}