Multimodal Dependent Type Theory
type: Item
instance of: scholarly article
title: Multimodal Dependent Type Theory
zbMATH Open document ID: 1498.03029
DOI: 10.1145/3373718.3394736
author: Daniel Gratzer
author: G. A. Kavvos
author: Andreas Nuyts
author: Lars Birkedal
published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
publication date: 2021-01-21T00:00:00Z
Mathematics Subject Classification ID: 03B38
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7299491
zbMATH Keywords: modal types
zbMATH Keywords: dependent types
zbMATH Keywords: categorical semantics
zbMATH Keywords: gluing
zbMATH Keywords: guarded recursion
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/3373718.3394736
OpenAlex ID: W3030119148
description: scientific article; zbMATH DE number 7299491