The Relevance Graph of a BCK-Formula
principal type schemes of BCK-\(\lambda\)-terms
scientific article; zbMATH DE number 488294