paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 253118697Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/253118697/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Forest, Simon (1992-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais
Pays : France
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en Informatique à l'Institut polytechnique de Paris en 2021

Identifiants externes

Identifiant HAL : simonforest
Identifiant ORCID : 0000-0003-4311-1678
Identifiant VIAF : http://viaf.org/viaf/56161511988970560492
Identifiant SCOPUS : 57202915163

Source

Descriptions calculatoires de catégories supérieures / Simon Forest ; sous la direction de Samuel Mimram et Yves Guiraud. Thèse de doctorat : Informatique : Institut polytechnique de Paris : 2021

Information trouvée : né le 10/07/1992 (d'après le formulaire de thèse)
Simon Forest, Samuel Mimram. Coherence of Gray Categories via Rewriting. 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom. (10.4230/LIPIcs.FSCD.2018.15). (hal-02154822)

... Références liées : ...