A monadic formalization of ML5

DOI10.4204/EPTCS.34.7MaRDI QIDQ6941738zbMATH OpenFDO

Authors Daniel R. Licata, Robert Harper

Publication date 19 August 2025

Copyright license Creative Commons license

Full work available at URL https://doi.org/10.4204/EPTCS.34.7

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of programming languages (68N15) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• A framework for defining logics
• A universe of binding and computation
• Computational types from a logical perspective
• Consistency of the theory of contexts
• Encoding modal logics in logical frameworks
• scientific article; zbMATH DE number 2185657 (Why is no real title available?)
• scientific article; zbMATH DE number 2006633 (Why is no real title available?)
• scientific article; zbMATH DE number 2100542 (Why is no real title available?)
• scientific article; zbMATH DE number 2111733 (Why is no real title available?)
• Hybrid logics: Characterization, interpolation and complexity
• Notions of computation and monads
• Parameterised notions of computation
• Polymorphism and separation in Hoare type theory
• Programming Languages and Systems
• The elimination theorem when modality is present

This page was built for publication: A monadic formalization of ML5

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6941738)