Handling mobility failures by modal types

DOI10.1007/978-3-031-52411-0_11MaRDI QIDQ7032560zbMATH OpenFDO

Authors Giuseppe Primiero

Publication date 4 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-52411-0_11

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites work

• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• scientific article; zbMATH DE number 2090851 (Why is no real title available?)
• scientific article; zbMATH DE number 6174931 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• Alleged Assassins: Realist and Constructivist Semantics for Modal Modification
• An axiomatic basis for computer programming
• Contextual modal type theory
• Functionality in combinatory logic.
• Implicit epistemic aspects of constructive logic
• On an intuitionistic modal logic
• Programming Languages and Systems
• Type systems for distributed data structures
• ``Inference versus consequence revisited: inference, consequence, conditional, implication

This page was built for publication: Handling mobility failures by modal types

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