Artifact
sesame Software
Author
Claudio Sacerdoti Coen 
- Part of: Collection: Supplementary Materials
- License: MIT License
- Publication Date: 2024-11-28
Content
- Software (Source Code): https://github.com/sacerdot/sesame/
-
archived version
Version/Status
- Content created at: 2024-02-19
- Status: Concept (at the time of publication 2024-11-28)
Description
Implementation in OCaml of a strong reduction machine for Intuitionistic Multiplicative Exponential Linear Logic (IMELL) that has linear overhead on the number of reduction steps and the size of the initial term
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)