Monad as modality
type: Item
instance of: scholarly article
title: Monad as modality
zbMATH Open document ID: 0895.03011
DOI: 10.1016/S0304-3975(96)00169-7
author: Satoshi Kobayashi
published in: Theoretical Computer Science
publication date: 1998-07-23T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18C15
zbMATH DE Number: 1178779
zbMATH Keywords: program semantics
zbMATH Keywords: Curry-Howard correspondence
zbMATH Keywords: modal logics
zbMATH Keywords: generalization of string monads
zbMATH Keywords: equational logic
zbMATH Keywords: method to extract a monad-based imperative functional program from a proof
MaRDI profile type: Publication
cites work: On an intuitionistic modal logic
cites work: Q3138535
cites work: Q3773852
cites work: Strong functors and monoidal monads
cites work: Q5639839
cites work: Q3202991
cites work: Notions of computation and monads
cites work: Programs with continuations and linear logic
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Comprehending monads
cites work: Constructive modal logics. I
description: scientific article; zbMATH DE number 1178779