13
votes
Accepted
What logic correponds via Curry-Howard to a Monad?
The two papers to look at it are Benton, Bierman and de Paiva's Computational Types from a Logical Perspective, which directly gives a proof theory for Moggi's computational lambda-calculus; and Rowan ...
5
votes
What logic correponds via Curry-Howard to a Monad?
I'll add this in addition to Neel Krishnaswami's answer. The article he refers to A Judgemental Reconstruction of Modal Logic cites the article by Satoshi Kobayashi Monad As Modality which I had come ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
monad × 4comonad × 4
ct.category-theory × 2
lo.logic × 1
pl.programming-languages × 1
functional-programming × 1
haskell × 1
applicative × 1