Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000119325321 | 1 hits
Person
ISNI: 
0000 0001 1932 5321
Name: 
Huet, G.
Huet, Gérard
Huet, Gérard (informaticien)
Huet, Gérard Pierre
Dates: 
1947-...
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
writer of accompanying material
Related names: 
Bertot, Yves
Institut de recherche d'informatique et d'automatique France, Colloque 1975
International Sanskrit Computational Linguistics Symposium 01 2007
International Sanskrit Computational Linguistics Symposium 03 2009
Kulkarni, Amba
MUNOZ HURTADO, CESAR AUGUSTO.
Paulin-Mohring, Christine (1962- ))
Plotkin, G. (1946-)
Plotkin, Gordon
Plotkin, Gordon (1946-)
Scharf, Peter
Springer-Verlag (Berlin)
Titles: 
ALGEBRES DES LOGIQUES MODALES ET INTUITIONNISTES : PROCEDURES DE DECISION ET FORMES CANONIQUES
ALGEBRES TOUFFUES. APPLICATION AU TYPAGE POLYMORPHE DES OBJETS ENREGISTREMENTS DANS LES LANGAGES FONCTIONNELS
algorithm to generate the basis of solutions to homogeneous linear diophantine equations, An
CALCUL DE SUBSTITUTIONS POUR LA REPRESENTATION DE PREUVES PARTIELLES EN THEORIE DE TYPES, UN
Call by need computations in non-ambiguous linear term rewriting systems
CAML Primer, The : version 2.6
Collection Science informatique
Complete proof of correctness of the Knuth-Bendix completion algorithm, A
CONCEPTION D'UN LANGAGE DE HAUT NIVEAU DE REPRESENTATION DE PREUVES : RECURRENCE PAR FILTRAGE DE MOTIFS UNIFICATION EN PRESENCE DE TYPES INDUCTIFS PRIMITIFS SYNTHESE DE LEMMES D'INVERSION
Construction, amélioration de programmes
Contribution à l’optimisation de mécanismes de raisonnement dans des structures spécialisées de représentation des connaissances
DEMONSTRATION AUTOMATIQUE DANS LE CALCUL DES CONSTRUCTIONS
Évaluation paresseuse des filtrages avec priorité, application au langage ML...
EXTRACTION DE PROGRAMMES DANS LE CALCUL DES CONSTRUCTIONS
EXTRACTION OF PROGRAMS IN THE CALCULUS OF CONSTRUCTIONS
FILTERING LAZY EVALUATION WITH PRIORITY: APPLICATION TO THE ML LANGUAGE
gestion des données dans les systèmes informatiques, la
Initiation à la logique mathématique
Initiation a la theorie des categories
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
Lexique sanscrit-français à l'usage de glossaire indianiste, 1996:
Logical environments
Logical foundations of functional programming
Logical frameworks
mechanization of type theory, a
On the Uniform halting problem for term rewriting systems
présentation uniforme de la théorie des types
Projet prévision-réalisation des vols, par Gérard Huet,.., Le
Proofs by induction in equational theories with constructors
Proving and applying program transformations expressed with second-order patterns
Proving and improving programs
REPRESENTATION FIDELE DE STRUCTURES MATHEMATIQUES TELLES QUE LES QUOTIENTS DANS UN CADRE CONSTRUCTIF
REPRESENTATION INTENTIONNELLE D'ALGORITHMES DANS LES SYSTEMES FONCTIONNELS : UNE ETUDE DE CAS
Résolution d'équations dans les langages d'ordre
Sanskrit computational linguistics : first and second international symposia, Rocquencourt, France, October 29-31, 2007, [and] Providence, RI, USA, May 15-17, 2008 : revised selected and invited papers
Sanskrit computational linguistics third international symposium, Hyderabad, India, January 15-17, 2009, proceedings
Science informatique
Spécifications pour une base commune de données
Systèmes d'information, 1980:
Systèmes d'information : introduction à une construction participative
TYPAGE POLYMORPHE D'UN LANGAGE ALGORITHMIQUE
Unification algorithm for type theory, A
uniform approach to type theory, A
Notes: 
Sources: 
VIAF BNF LC NTA NUKAT SUDOC WKP
TEL