{{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
MELL in the Calculus of Structures Technical Report WV
Lutz Strassburger
73 pages
April final version for proceedings of CiE'10
10 pages
December Final version for proceedings of LATA'09
12 pages
Introduction to Proof Theory
79 pages
April Final version for proceedings of RTA'07
15 pages
June Final Version for “Structures and Deduction Lisbon
17 pages
June Lecture notes for ESSLLI'06 Malaga Spain
96 pages
May To be presented at HyLo'07 Part of ESSLLI
A System of Interaction and Structure IV: The Exponentials and Decomposition
43 pages
Lecture notes
77 pages
April Final version appearing in Proceedings of LICS
A Local System for Linear Logic
October Version for the second edition of “Logica Universalis”
18 pages
From Deep Inference to Proof Nets via Cut Elimination
41 pages
January Final version appearing in proceedings of TLCA'05
Workshop on “Classical Logic and Computation” July Venice Italy
20 pages
Linear Logic and Noncommutativity in the
276 pages
