All Questions
Tagged with monads lambda-calculus
3 questions with no upvoted or accepted answers
9
votes
0
answers
539
views
The Curry Howard Isomorphism and models for an intuitionistic modal logic and its bimodal translation
My question regards the Curry Howard Isomorphism and how it constrains models in the case of a particular logic.
Consider quantified Lax Logic $QLL$.
https://pdfs.semanticscholar.org/468e/...
- 639
1
vote
0
answers
102
views
Can application in untyped lambda calculus be seen as the uncurried unit of some monad?
Simply typed lambda calculus in one type variable in a Cartesian closed category $\mathbf{C}$ can be interpreted as a family of Cartesian closed functors (described below, do they have a name?) from ...
0
votes
0
answers
110
views
Expressing a model transformation by using monads in the simply-typed lambda calculus
In https://link.springer.com/content/pdf/10.1007/s10670-019-00128-z.pdf , page 16, the following clause is given for a modal operator $\langle R_k \rangle$ (see definition 4.2 for the definition of a ...
- 639