A survey on the categorical term construction with applications
scientific article; zbMATH DE number 6806615
scientific article