Théorie des types Fr

Fiche du sujet

Référentiel
Identifiant

Synonyme

MSC 03B15 Types, Théorie des Type theory

Discipline

Linguistique (9) Philosophie (8) Gestion et management (3) Education (3) Histoire (2) Histoire, Philosophie et Sociologie des sciences (2) Droit (2) Psychologie (1) Musique, musicologie et arts de la scène (1) Littératures (1)

Type de document

Articles (16) Mémoires, Thèses et HDR (6) Autres (5) Colloques et conférences (4) Textes imprimés (3) Prépublication (3) Livres et chapitres d'ouvrages (2)

Auteur

Date

38 documents
Les conditionnels à l'état sauvage
Eimear Anne Maguire (17 déc. 2021)
Carnap et les catégories
Ansten Klev (2020)
Les descriptions dynamiques dans 'À la recherche du temps perdu' : analyse linguistique, poétique et génétique
Chiara Carraro (11 oct. 2019)
Accointance par procuration
Brice Halimi (2019)
Diatonic and Tonal Functions in the Polyphonic Virelai of the 14th Century
Christophe Guillotel-Nothmann (2019)
La fabrique d’une sociologie de l’intérieur : regard ethnométhodologique sur un parcours d'apprentissage, de recherche et d'action
Bodineau Martine
Principes et méthode de la recherche jungienne : science et sensibilité
Liliana Liviano Wahba et al. (2017)
Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types de Per Martin-Löf
Adjoua Bernadette Dango (15 juin 2015)
Logique mathématique et linguistique formelle
Christian Retoré (11 mars 2013)
Logique mathématique et linguistique formelle
Christian Retoré (11 mars 2013)
Traitement automatique d'un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types
Anaïs Lefeuvre et al. (4 juil. 2012)
Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle
Anaïs Lefeuvre et al. (1 juin 2012)
On the system F as a glue language for natural-language compositional-semantics
Christian Retoré (24 août 2011)
Modélisation de la Sémantique Lexicale dans le cadre de la théorie des types
Bruno Mery (5 juil. 2011)
Notes on the first chapter of Das Kontinuum: intension, extension and arithmetism
Julien Bernard (2009)
Wittgenstein dans la fabrique des Principia. Sur et autour de Tractatus 3. 33.
Sébastien Gandon (3 oct. 2008)
Certains types de personnalité sont-ils prédisposés au stress professionnel ? L'apport des types psychologiques de Jung
Martine Brasseur (2008)
Computational semantics in type theory
Aarne Ranta (22 févr. 2006)
Proof Theory of Martin-Löf Type Theory. An overview
Anton Setzer (22 févr. 2006)
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
Gilles Dowek (22 févr. 2006)
Avant propos sur la théorie constructive des types
Michel Bourdeau et al. (22 févr. 2006)
The co-emergence of sets and functions in Das Kontinuum
Julien Bernard (15 déc. 2005)
The co-emergence of sets and functions in Das Kontinuum
Julien Bernard (15 déc. 2005)
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
Gilles Dowek (2004)
La théorie constructive des types : présentation
Michel Bourdeau et al. (2004)

next