Intersection types in lambda calculus and logic
Tipovi sa presekom u lambda računu i logici
Doktorand
Gilezan, SilviaMentor
Došen, KostaČlanovi komisije
Grulović, MilanBoričić, Branislav
Božić, Milan
Vojvodić, Gradimir
Tipovi sa presekom u lambda računu i logici