Types and Programming Languages

Eden boljših učbenikov za teorijo programskih jezikov. Par izvodov je na voljo tudi v knjižnici.
Kliknite na povezavo https://www.cis.upenn.edu/~bcpierce/tapl/, če želite odpreti vir.