Artifact
sesame Software
Author
Claudio Sacerdoti Coen 
- Part of: Collection: Supplementary Materials
- License: MIT License
- Publication Date: 2024-11-28
Document Identifiers
Author Details
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)
Cite As Get BibTex
Claudio Sacerdoti Coen. sesame (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22487
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
Subject Classification
Keywords
- IMELL
- reduction machine
- linear overhead
Programming Languages
- OCaml
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)