Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure
type: Item
instance of: scholarly article
title: Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure
zbMATH Open document ID: 1498.18030
DOI: 10.1145/3373718.3394769
author: Philip Saville
author: Marcelo P. Fiore
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: 18N10
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 03B38
zbMATH DE Number: 7299486
zbMATH Keywords: bicategories
zbMATH Keywords: Cartesian closure
zbMATH Keywords: coherence
zbMATH Keywords: normalisation
zbMATH Keywords: normalisation-by-evaluation
zbMATH Keywords: type theory
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1145/3373718.3394769
OpenAlex ID: W3029012198
description: scientific article; zbMATH DE number 7299486