Organisations



Refined By:
Date Issued:  [1990 TO 1999]
Type:  article
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
1993Inhabitation in intersection and union type assignment systemsGhilezan, Silvia  Article
Mp. category will be shown later