نتائج البحث

Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence ; : Inter’actions in mathematics 2015 ; Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence : Inter’actions en mathématiques 2015

• Authors : Brunerie, Guillaume; Bastien, Fanny; Magnien, Jérémy ...

Subjects: inter’actions in mathematics 2015; phd; inter’actions en mathématiques 2015

• Source: https://hal.science/medihal-01346862 ; 2015.

تفاصيل العنوان

Une théorie mécanisée des arbres réguliers en théorie des types dépendants

• Authors : Spadotti, Régis

Subjects: Informatique; PhD Thesis; NonPeerReviewed

تفاصيل العنوان

From dependent type theory to higher algebraic structures ; Théorie des types dépendants et algèbre de dimension supérieure

• Authors : Leena Subramaniam, Chaitanya;

Subjects: Théories algébriques; Catégories supérieures; Théorie de l'homotopie

تفاصيل العنوان

Meta-Programming for Proof Transfer in Dependent Type Theory ; Méta-programmation pour le transfert de preuve en théorie des types dépendants

• Authors : Crance, Enzo;

Subjects: Formal proof; Proof automation; Meta-programming

• Source: https://theses.hal.science/tel-04719004 ; Informatique. Nantes Université, 2023. Français. ⟨NNT : 2023NANU4071⟩.

تفاصيل العنوان

Generic bidirectional typing in a logical framework for dependent type theories ; Typage bidirectionnel générique dans un logical framework pour les théories des types dépendants

• Authors : Felicissimo, Thiago;

Subjects: Théorie des types dépendants; Logical frameworks; Typage bidirectionnel

تفاصيل العنوان

A mechanized theory of regular trees in dependent type theory ; Une théorie mécanisée des arbres réguliers en théorie des types dépendants

• Authors : Spadotti, Régis;

Subjects: Proof assistant; Regular tree; Cyclic term

• Source: https://theses.hal.science/tel-01589656 ; Mathematical Software [cs.MS]. Université Paul Sabatier - Toulouse III, 2016. English. ⟨NNT : 2016TOU30178⟩.

تفاصيل العنوان

Une théorie mécanisée des arbres réguliers en théorie des types dépendants ; A mechanized theory of regular trees in dependent type theory

• Authors : Spadotti, Régis;

Subjects: Assistant de preuve; Arbre régulier; Terme cyclique

تفاصيل العنوان

Cubical models are cofreely parametric ; Les modèles cubiques sont colibrement paramétriques

• Authors : Moeneclaey, Hugo;

Subjects: Dependent type theory; Parametricity; Cubical models for type theory

• Source: https://theses.hal.science/tel-04435596 ; Logic in Computer Science [cs.LO]. Université Paris Cité, 2022. English. ⟨NNT : 2022UNIP7259⟩.

تفاصيل العنوان

Théories à types dépendants et algèbre de dimension supérieure

• Authors : Leena Subramaniam, Chaitanya;

Subjects: Théories algébriques; Higher categories; Théorie de l'homotopie

• Source: Category Theory [math.CT]. Université de Paris, 2021. English

تفاصيل العنوان

From dependent type theory to higher algebraic structures ; Théories à types dépendants et algèbre de dimension supérieure

• Authors : Leena Subramaniam, Chaitanya;

Subjects: Algebraic theories; Higher categories; Homotopy theory

• Source: https://theses.hal.science/tel-03369103 ; Category Theory [math.CT]. Université de Paris, 2021. English. ⟨NNT : ⟩.

تفاصيل العنوان