Krivine, Jean-Louis (1939-....)

Krivine, Jean-Louis (1939-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 030156149

URI de l'entité : http://www.idref.fr/030156149/id

Notice de type Personne

Point d'accès autorisé

Krivine, Jean-Louis (1939-....)

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 : français,anglais

Pays : France

Date de naissance : 1939

Genre : Masculin

Notes

Note publique d'information :

Mathématicien, en poste à l'université de Paris VII-CNRS-Laboratoire Preuves, Programmes et Systèmes, UMR CNRS 7126 (en 2009)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/92399890

Identifiant Wikidata : Q1684974

Identifiant ZBMath : krivine.jean-louis

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Jean-Louis_Krivine

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb12162908k

Identifiant ISNI : 0000000109249003

Source

Interactive models of computation and program behavior / Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine... [et al.] [Panoramas et synthèse, no.27], 2009

Information trouvée : en poste à l'université de Paris VII-CNRS-Laboratoire Preuves, Programmes et Systèmes, UMR CNRS 7126 (en 2009)

Internet, https://fr.wikipedia.org/wiki/Jean-Louis_Krivine, 2018-01-09

Information trouvée : né en 1939, ancien élève de l'École normale supérieure (promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967)

Lambda-calcul : types et modèles / Jean-Louis Krivine, 1990

Théorie des ensembles / Jean-Louis Krivine, 2007

Information trouvée : Professeur à l'Université Paris VII depuis 1971 (en 2007)

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