Published November 14, 2023
| Version popl24
Software
Open
logsem/gitrees: POPL 2024 version
Creators
Description
guarded interaction trees
Files
logsem/gitrees-popl24.zip
Files
(83.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:7e6b25ad847667d6d1c5686eab01cec0
|
83.5 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/logsem/gitrees/tree/popl24 (URL)