paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 184705169Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Statman, Richard

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 : Pays inconnu
Genre : Masculin

Identifiants externes

Identifiant ZBMath : statman.richard
Identifiant VIAF : http://viaf.org/viaf/305030246
Identifiant ISNI : 0000000417348927

Source

Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman,cop. 2013

Information trouvée : Mathématicien, Carnegie Mellon University, Pittsburgh, Etats-Unis

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