Modeli lambda računa : magistarski rad - Urbiha, Igor (I. Urbiha, 1993)