A modal Θ-valent approach of the notion of code
scientific article; zbMATH DE number 6055458
scientific article