Organizacije



Refined By:
Date Issued:  [1990 TO 1999]
Date Issued:  1993
Type:  article
Mp-cat.:  M20/M50

The results include the works of researchers who are CURRENTLY employed at the displayed institution.

Issue DateTitleAuthor(s)TypeМp-cat.
1993A note on typed combinators and typed lambda termsGhilezan, Silvia  Naučni članak
Mp kategorija će biti prikazana naknadno.
1993Inhabitation in intersection and union type assignment systemsGhilezan, Silvia  Naučni članak
Mp kategorija će biti prikazana naknadno.