Intersection types in lambda calculus and logic
Tipovi sa presekom u lambda računu i logici
Докторанд
Gilezan, SilviaМентор
Došen, KostaЧланови комисије
Grulović, MilanBoričić, Branislav
Božić, Milan
Vojvodić, Gradimir
Tipovi sa presekom u lambda računu i logici