A comparison of HOL and ALF formalizations of a categorical coherence theorem
type: Item
instance of: scholarly article
title: A comparison of HOL and ALF formalizations of a categorical coherence theorem
zbMATH Open document ID: 1543.68413
author: Sten Agerholm
author: Ilya Beylin
author: Peter Dybjer
publication date: 2024-07-05T00:00:00Z
Mathematics Subject Classification ID: 68V20
Mathematics Subject Classification ID: 18M05
zbMATH DE Number: 7876650
MaRDI profile type: Publication
cites work: Q3997112
cites work: Inductive families
cites work: Q5287513
cites work: Q5639839
cites work: Q4099613
cites work: Q3328540
cites work: Q3999860
cites work: A higher-order implementation of rewriting
cites work: Q4023244
cites work: Q3024887
DOI: 10.1007/BFB0105394
description: scientific article; zbMATH DE number 7876650