Avant propos sur la théorie constructive des types
Foreword
Сохранить в:
| Опубликовано в: : | URI:https://journals.openedition.org/msh, |
|---|---|
| Главные авторы: | , |
| Формат: | Article ou chapitre numérique |
| Язык: | Français |
| Опубликовано: |
Mathématiques et sciences humaines
2006
|
| Предметы: | |
| Online-ссылка: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Итог: | Foreword |
|---|