$\lambda$-račun in kartezične zaprte kategorijeVidmar, Jakob (Avtor) Bauer, Andrej (Mentor) ▫$\lambda$▫-računpreprosti tipizaprte kartezične kategorijepolnost semantikezdravje semantike[J. Vidmar]20122017-10-19 12:35:16Delo diplomskega seminarja/zaključno seminarsko delo/naloga97099UDK: 510.6COBISS_ID: 16655961sl