Biblio

Author Title Type [ Year(Asc)]
Filters: Author is Milena Stefanova  [Clear All Filters]
1998
Stefanova M.  1998.  A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 90(Livre 1 - Mathématiques et Mecanique):17-40.PDF icon 90-017-040.pdf (1.97 MB)

© Faculty of Mathematics and Informatics