SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References
| Origin | Files produced by the author(s) |
|---|---|
| Licence |
Loading...
| Origin | Files produced by the author(s) |
|---|---|
| Licence |
Connect in order to contact the contributor
https://hal.science/hal-02388621
Submitted on : Thursday, December 12, 2019-5:22:10 PM
Last modification on : Monday, January 19, 2026-4:46:19 PM
Long-term archiving on : Friday, March 13, 2020-11:40:04 PM