Intersection types in lambda calculus and logic
Tipovi sa presekom u lambda računu i logici
Author
Gilezan, SilviaMentor
Došen, KostaCommittee members
Grulović, MilanBoričić, Branislav
Božić, Milan
Vojvodić, Gradimir
Tipovi sa presekom u lambda računu i logici