Organizacije



Refined By:
Date Issued:  [1990 TO 1999]
Type:  Doktorska disertacija
Date Issued:  1993

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

Issue DateTitleAuthor(s)TypeМp-cat.
1993Intersection types in lambda calculus and logicGilezan, Silvia  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija