Logique
Bernard Jaulin, directeur d’étudesQuelques applications de la théorie intuitionniste des types à la linguistiqueL’application sur laquelle on s’est appesanti concerne la référence des descriptions définies et des propositions subordonnées relatives considérées comme des objets de type Σ. De cette f...
Tallennettuna:
| Julkaisussa: | URI:https://journals.openedition.org/annuaire-ehess, |
|---|---|
| Päätekijä: | |
| Aineistotyyppi: | Article ou chapitre numérique |
| Kieli: | Français |
| Julkaistu: |
Annuaire de l'EHESS
2015
|
| Linkit: | Accès Université d'Orléans et IFPM |