Keywords: ▫$\lambda$▫-račun, preprosti tipi, zaprte kartezične kategorije, polnost semantike, zdravje semantikeFull text (file, 379,11 KB)