Multimodal Dependent Type Theory

DOI10.1145/3373718.3394736zbMath1498.03029OpenAlexW3030119148MaRDI QIDQ5145658

G. A. Kavvos, Daniel Gratzer, Andreas Nuyts, Lars Birkedal

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373718.3394736

zbMATH Keywords

dependent typesgluingcategorical semanticsguarded recursionmodal types

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Type theory (03B38)

Related Items (4)

Normalization by evaluation for modal dependent type theory ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ Temporal refinements for guarded recursive types ⋮ Unnamed Item

This page was built for publication: Multimodal Dependent Type Theory