Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure
scientific article; zbMATH DE number 7299486