Notice de personne
- Notice
Krivine, Jean-Louis (1939-....) forme internationale
Pays :
France
Langue(s) :
français
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1939
Écrit aussi en anglais.
Mathématicien. - Professeur à l'Université Paris VII (en 1990).
Mathématicien. - Professeur à l'Université Paris VII (en 1990).
Source(s) :
Lambda-calcul : types et modèles / Jean-Louis Krivine, 1990
Lambda-calcul : types et modèles / Jean-Louis Krivine, 1990
Identifiant international de l'autorité :
ISNI 0000 0001 0924 9003
, cf.
http://isni.org/isni/0000000109249003
Identifiant de la notice : ark:/12148/cb12162908k
Notice n° :
FRBNF12162908
Création :
90/09/25
Mise à jour :
22/02/01
