Organisations



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

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

Issue DateTitleAuthor(s)TypeМp-cat.
1996Some topological properties of the lambda calculusGhilezan, Silvia  Article
Mp. category will be shown later
1996Generalized finiteness of developmentsGhilezan, Silvia  Article
Mp. category will be shown later
1996Strong normalization and typability with intersection typesGhilezan, Silvia  Article
Mp. category will be shown later