| Заглавие | A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE* |
| Вид публикация | Journal Article |
| Година на публикуване | 1998 |
| Автори | Stefanova M |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 90 |
| Issue | Livre 1 - Mathématiques et Mecanique |
| Pagination | 17-40 |
| ISSN | 0205-0808 |
| ключови думи | inductive types, normalization, typed lambda calculus |
| Резюме | This paper describes a set-theoretical argument for proving Strong Normalization (SN) for the systems of the so-called $\lambda$-cube. The argument is relatively simple and, moreover, flexible. It can be adapted to extensions of the systems considered, such as additional sorts, inductive types or sub-types. |
| 1991/95 MSC | 03B15, 03B40 |
| Прикачен файл | Размер |
|---|---|
 90-017-040.pdf | 1.97 MB |