Avant propos sur la théorie constructive des types
Foreword
Enregistré dans:
| Dans: | URI:https://journals.openedition.org/msh, |
|---|---|
| Auteurs principaux: | , |
| Format: | Article ou chapitre numérique |
| Langue: | Français |
| Publié: |
Mathématiques et sciences humaines
2006
|
| Sujets: | |
| Accès en ligne: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |