Fitch-style modal lambda calculi
From MaRDI portal
Publication:1652988
DOI10.1007/978-3-319-89366-2_14zbMath1504.03014arXiv1710.08326OpenAlexW2765937481MaRDI QIDQ1652988
Publication date: 17 July 2018
Full work available at URL: https://arxiv.org/abs/1710.08326
Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)
Related Items (12)
Modality via iterated enrichment ⋮ Normalization by evaluation for modal dependent type theory ⋮ When programs have to watch paint dry ⋮ Modal FRP for all: Functional reactive programming without space leaks in Haskell ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Adjoint reactive GUI programming ⋮ Unnamed Item ⋮ Modal dependent type theory and dependent right adjoints ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: Fitch-style modal lambda calculi