sesame Software

Author Claudio Sacerdoti Coen



Document Identifiers

Author Details

Claudio Sacerdoti Coen
  • Alma Mater Studiorum - Università di Bologna

Content

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

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail