Résultat(s)
1 - 3
résultats de
3
pour la requête '
Herbelin Hugo
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
Se déconnecter
Mon compte
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Herbelin Hugo
Résultat(s)
1 - 3
résultats de
3
pour la requête '
Herbelin Hugo
'
, Temps de recherche: 0,03s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Interactive models of computation and program behavior
par
Curien Pierre-Louis
,
Herbelin
Hugo
,
Krivine Jean-Louis
Société Mathématique de France 2009
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Livre
Chargement en cours...
Réserver
|
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 2
2
Formalisation and Meta-Theory of Type Theory
par
Winterhalter Théo
,
Tabareau Nicolas
,
Sozeau Matthieu
,
Dowek Gilles
,
Spitters Bas
,
Mahboubi Assia
,
Herbelin
Hugo
2020
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Accès en ligne
Thèse ou mémoire
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 3
3
Bidirectional Typing for the Calculus of Inductive Constructions
par
Lennon-Bertrand Meven
,
Tabareau Nicolas
,
McBride Conor
,
Krishnaswami Neel
,
Mahboubi Assia
,
Herbelin
Hugo
,
Geuvers Herman
Cockx Jesper
2022
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Accès en ligne
Thèse ou mémoire
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
–
Enregistrer la recherche
Vous cherchez un article par son titre ?
Consultez notre
mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien
.
Vous n'avez pas trouvé ?
Recherchez
dans d'autres universités (SUDOC)
, faites
une demande de Prêt entre bibliothèques (PEB)
ou faites
une suggestion d'achat
.
Sujets similaires
thèses et écrits académiques
théorie des types
--
assistants à la preuve
calcul des constructions inductives
calcul intensif (informatique)
coq
induction (logique)
interpréteurs (logiciels)
modèles mathématiques
parallélisme (informatique)
typage bidirectionnel
typage graduel
×
Chargement en cours...