1
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)
Identifiants chercheurs
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
Publications
|
|
Cut-free Deductive System for Continuous Intuitionistic Logic2025
Pré-publication, Document de travail
hal-05322841
v5
|
Chargement...
Chargement...