What is the translation of " TYPE THEORY " in French?

• théorie des types
• théorie du genre

Examples of using Type theory in English and their translations into French

Type theory.
Théorie des types.

WEB About type theory.
Une vidéo sur la théorie du genre.

A type theory is.
La théorie du genre est.

Effects in type theory.
Effets dans la théorie des types.

Type theory is a different one.
La théorie du genre en est un autre.

University of Minho: type theory.
Université de Minho: théorie des types.

Intuitionistic Type Theory by Per Martin-Loef.
La théorie du type intuitionniste de Per Martin-Löf.

Axiom of choice in type theory.
Axiome de choix dans la théorie de type.

Type theory and realisability Wednesday 2pm room 1007 Other working groups.
Théorie des types et réalisabilité mercredi 14h salle 1007 Autres groupes de travail.

One of these theories is the type theory.
L'une d'elles est la théorie du genre.

Type theory and proof theory in imperative programming languages.
La théorie des types et les preuves de programmes écrits dans des langages impératifs.

Formalization of mathematics and type theory.
Formalisation des mathématiques et théorie des types.

Homotopy Type Theory is an alternative foundation to set theory..
La Théorie des Types Homotopique est un fondement alternatif à la Théorie des Ensembles.

Formal presentation of mathematics and type theory.
Formalisation des mathématiques et théorie des types.

Proof theory: classical logic, type theory, computational interpretations.
Théorie de la preuve: logique classique, théorie des types, interprétations calculatoires.

LaTTe is a proof assistant library based on type theory.
LaTTe est un assistant de preuve basé sur la théorie des types.

In type theory, a different kind of statement is known as the axiom of choice.
Dans la théorie des types, un autre type de déclaration est appelée l'axiome du choix.

The fundamental concept of homotopy type theory is the path.
Le concept fondamental de la théorie des types homotopiques est le chemin.

Abstract: Type Theory lies on the crossroad of Logics, Mathematics and Computer Science.
Résumé: La théorie des types est une discipline au croisement de la logique, des mathématiques et de l'informatique.

My research domain includes partially lambda-calculus and type theory.
Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types.

The logical frameworks of Type Theory and Category Theory are considered.
Le cadre formel de la théorie des types et la théorie des catégories est considéré.

Personality Assessment based on the Myers Briggs personality type theory.
Évaluation de la personnalité basée sur la théorie du type de personnalité de Myers Briggs.

Programming languages, type theory, proof theory, rewriting and algebra.
Les langages de programmation, la théorie des types, la théorie de la preuve, la réécriture et l'algèbre.

Types- Computer Assisted Reasoning Based in the Type Theory.
TYPES Working Group: raisonnement assité par ordinateur fondé sur la théorie des types.

Of course, those principles are consistent with Type Theory and their addition as axioms is safe.
Bien sûr, ces principes sont compatibles avec la théorie des types et leur ajout en tant qu'axiomes est sûr.

TYPES Working Group: computer assisted reasoning based on type theory.
TYPES Working Group: raisonnement assité par ordinateur fondé sur la théorie des types.

Homotopy Type Theory has recently been introduces as an alternative to usual set theory as a foundation of mathematics.
La théorie des types homotopique a récemment été proposée comme une fondation des mathématiques alternative à la théorie usuelle des ensembles.

Abstract: This thesis is part of the study of Type Theory for the λ-calculus.
Résumé: Cette thèse fait partie de l'étude de la théorie des types pour le λ-calcul.

Yet, a type theory that integrates effects would have logical, algebraic and computational implications through the Curry-Howard correspondence.
Pourtant, une théorie des types qui intègre les effets aurait des implications logiques, algébriques et computationnelles à travers la correspondance de Curry-Howard.

Their paper also foreshadowed several later developments in homotopy type theory.
Leur article annonçait également plusieurs développements ultérieurs de la théorie des types homotopiques.

How to use "type theory" in an English sentence

Computational Higher Type Theory IV: Inductive Types.

What is this type theory stuff about?

moved types here from type theory page.

Where does homotopy type theory come in?

Talk at Oxford Homotopy Type Theory Workshop.

Intuitionist type theory and the free topos.

Schmidt • Type Theory and Functional Programming.

Natural Language Inference: Is type theory relevant?

Extending homotopy type theory with strict equality.

Geuvers: Type Theory and Formal Proof (2014).

How to use "théorie des types, théorie du genre" in a French sentence

La théorie des types se réfère à la classification psychologique des différents types d'individus.

Elles ont promulgué la théorie des types psychologiques de Jung, disciple de Freud.

La théorie du genre expliquée par Axel Kahn.

La théorie du genre fait beaucoup parler d'elle.

« La théorie des types logiques », Revue de métaphysique et de morale, XVIII.

Faudrait-il présenter la théorie des types dans les futurs manuels scolaires ?

La théorie du genre s'en prend aux repères sexués.

Cest ce que la théorie des types sefforce deffectuer ».

Venue: INRIA Preuves, Programmes et Systèmes, Théorie des types et réalisabilité, Paris, France.

Cette approche s’appuie sur la Théorie des types logiques de Russel.