Departman za opšte discipline u tehnici

View Statistics Email Alert RSS Feed
Organization name
Departman za opšte discipline u tehnici
Parent OrgUnit
City
Novi Sad
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Refined By:
Date Issued:  [2000 TO 2009]
Date Issued:  2001

Results 1-3 of 3 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)
11-Jan-2001Confluence of untyped lambda calculus via simple typesGilezan, Silvia ; Kunčak V.
21-Jan-2001Full intersection types and topologies in lambda calculusGilezan, Silvia 
315-Oct-2001Relative completeness with respect to two unary functionsPantović, Jovanka ; Tošić R.; Vojvodić G.