zadny expert v tom nejsem, narovinu, ale jaky vztah je mezi lambda kalkulem a lexikalnim uzaverem? dle meho to (uzaver) vubec nesouvisi, neni to soucasti te teorie (resp. neni to exkluzivni pro tuto teorii), je to vec implementace;
totez parametry, lokalni promenne, rozsah platnosti, viditelnost promennych ..