{{title}}
({{Count}})
English
العربية
Catalogue
Univers
Ebooks
Livres audio
Presse
Podcasts
BD
Documents
Romance
Romans et nouvelles
Scolaire
Polar
Jeunesse
Développement Personnel
Ressources professionnelles
SF
Partitions
Littérature
Santé et bien-être
Savoirs
Education
Loisirs et hobbies
Art, musique et cinéma
Actualité et débat de société
Actualités
Lifestyle
Presse jeunesse
Presse professionnelle
Pratique
Presse sportive
Presse internationale
Culture & Médias
Fictions
Développement personnel
Témoignages
Culture
Enfants
Enjeux de société
BD Humoristique
Action et Aventures
Science-fiction et Fantasy
Mangas
Société
Comics
BD adulte
Jeunesse - Pour les 6 - 12 ans
Univers ado - Pour les plus de 12 ans
Eveil - De 0 à 6 ans
Découverte
Jeux et coloriages
Jeune Adulte
Etudes littéraires
Contes
Théâtre
Littérature régionale
SF et fantasy
Littérature sentimentale
Romans historiques
Classiques
Poésie
Récits de voyage
Témoignages et autobiographies
Romans policiers, polars, thrillers
Littérature érotique
Economie
Comptabilité
Création d'entreprise
Marketing et communication
Efficacité professionnelle
Gestion et management
Emploi et carrières
Bourse et finance
Droit et juridique
Informatique
Esotérisme et paranormal
Alimentation et diététique
Forme et détente
Sexualité
Beauté
Thérapies alternatives
Philosophie
Religions
Sciences humaines et sociales
Linguistique
Histoire
Medecine
Techniques
Sciences formelles
Science de la nature
Biographies
Géographie
Dictionnaires
Révisions
Ressources pédagogiques
Sciences de l’éducation
Manuels scolaires
Langues
Travaux de classe
Etudes supérieures
Maternelle et primaire
Fiches de lecture
Orientation scolaire
Méthodologie
Annales d’examens et concours
Voyages - guides
Bricolage et décoration
Animaux de compagnie
Humour
Sports
Jeux
Moyens de transport
Cuisine et vins
Jardinage
Loisirs créatifs
Architecture et design
Musique
Cinéma
Photographie
Beaux-arts
Partitions de musique variée
Ecologie
Actualité, évènements
Essais
Politique
Débats et polémiques
Médias
Hebdo
Magazines
Quotidiens
Déco
Cuisine
Mode de vie
Voyages et loisirs
Kids
Ado
Actualités éco
Presse spécialisée
Économies internationales
Féminin
Bien être
Famille
Consommation
Auto/Moto
Autres sports
Football
Sports hippiques
Tunisie
Maroc
RDC
Mali
Sénégal
Côte d'Ivoire
Cameroun
Burkina-Faso
UK
US
People & TV
Arts
Mode
Policiers & Thrillers
Aventure
Horreur
Fantastique
Medieval & Heroic Fantasy
Science-fiction
Historique
Fiction
Documentaire
Analyses et études sectorielles
Cours
Annales de BEP
Corrigés de devoir
Annales du bac
Annales du brevet
Rapports de stage
Généalogie
Partitions de musique romantique
Partitions de musique baroque
Partitions de musique classique
Partitions de musique de la renaissance
Partitions de musique moderne
Partitions du début des années vingt
Menu
Qui sommes-nous ?
Découvrir les offres
Publier vos documents
Notre catalogue
Livres
Audiobook
Auteur
Affiner
0
[inria-00289543, v1] A list-machine benchmark for mechanized metatheory (extended abstract)
Tobydavis Appel, Andrew Et Al
13 pages
![[inria-00289543, v1] A list-machine benchmark for mechanized metatheory (extended abstract)](https://img.uscri.be/pth/a0d28915bebce0eb7eb6d961b9ab7d2bebff5fd1)
