Ključne besede: ▫$\lambda$▫-račun, preprosti tipi, zaprte kartezične kategorije, polnost semantike, zdravje semantikeCelotno besedilo (datoteka, 379,11 KB)