GG

Guillaume, Raymond GEOFFROY

Doctorant à l'Institut Camille Jordan
100%
Libre accès
1
Document
Affiliations actuelles
  • Algèbre, géométrie, logique (AGL)
  • Université Claude Bernard Lyon 1 (UCBL)
  • Institut Camille Jordan (ICJ)

Domaines de recherche

Catégories et ensembles [math.CT] Logique en informatique [cs.LO] Topologie générale [math.GN] Logique [math.LO]

Compétences

Continuous Logic Quantales Category Theory Sequent Calculus and systematic cut eliminability Duality between algebra and topology Python LaTeX Italian

Publications

1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications