Organisations



Refined By:
Date Issued:  1993

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  Article
Mp. category will be shown later
1993Intersection types in lambda calculus and logicGilezan, Silvia  Doctoral theses
70M70
1993Dijagnosticiranje i procena stanja betonskih konstrukcijaRADONjANIN, VLASTIMIR S.  Conference Paper
Mp. category will be shown later
1993Inhabitation in intersection and union type assignment systemsGhilezan, Silvia  Article
Mp. category will be shown later
1993Biofizika - odabrana poglavlja za studente medicine i stomatologijeStanković, Slobodanka; Kapor, Agneš; Vesković, Miroslav  Text book
Mp. category will be shown later