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

Point d'accès autorisé

Miller, Dale

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

Notes

Note publique d'information : 
Professeur en programmation logique

Identifiants externes

Identifiant HAL : dale-miller
Identifiant VIAF : http://viaf.org/viaf/264446257
Identifiant ORCID : 0000-0003-0274-4954
Identifiant ISNI : 0000000382291720

Source

Exploiting non-canonicity in the sequent calculus / par Vivek Nigam ; sous la direction de Dale Miller. Thèse, Paris, 2009

Information trouvée : Directeur de thèse

Object-Oriented Mechanisms for Interoperability between Proof Systems / Raphaël Cauderlier, 2016. Thèse de doctorat : Informatique : Paris, CNAM : 2016

Information trouvée : Directeur de recherche, Inria Saclay et LIX

Programming with higher-order logic / Dale Miller, Gopalan Nadathur, 2012

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