The following pages link to Fitch-style modal lambda calculi (Q1652988):
Displaying 11 items.
- Modality via iterated enrichment (Q2134835) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- Adjoint reactive GUI programming (Q2233414) (← links)
- (Q5119390) (← links)
- (Q5141620) (← links)
- (Q5155672) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
