Modality via iterated enrichment

DOI10.1016/J.ENTCS.2018.11.015OpenAlexW2964325613WikidataQ113317481 ScholiaQ113317481MaRDI QIDQ2134835

Yoshihiko Kakutani, Yuichi Nishiwaki, Yuito Murase

Publication date: 3 May 2022

Full work available at URL: https://arxiv.org/abs/1804.02809

zbMATH Keywords

modal logiclambda calculusCurry-Howard isomorphismenriched category theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• LISP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Does the deduction theorem fail for modal logic?
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• Modal pure type systems. Type theory for knowledge representation
• Monoidal bicategories and Hopf algebroids
• MetaML and multi-stage programming with explicit annotations
• On an intuitionistic modal logic
• Fitch-style modal lambda calculi
• Fibrational modal type theory
• Relative symmetric monoidal closed categories I: Autoenrichment and change of base
• Iterated distributive laws
• A Temporal Logic Approach to Binding-Time Analysis
• A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
• Call-by-Name and Call-by-Value in Normal Modal Logic
• Coherence for tricategories
• On the Functor ℓ2
• Contextual modal type theory
• A polymorphic modal type system for lisp-like multi-staged languages

This page was built for publication: Modality via iterated enrichment