The curry-howard isomorphism
This volume is devoted to the Formulae-as-Types correspondence, also widely known as the Curry-Howard isomorphism....
45,73 €
Filtrer par
Mélanie De Groote
La plus grande librairie de droit depuis 1836
La librairie shop cim
-
Droit
- Voir tous les ouvrages
- Professions du droit
- Déontologie
- Droit civil
-
Droit commercial et des affaires
- Tous les ouvrages droit commercial et des affaires
- Ouvrages généraux
- Organisation du commerce
- Entreprises individuelles
- Professions libérales
- Sociétés et autres groupements
- Droit financier / Droit bancaire / Droit du crédit / Droit boursier
- Entreprises en difficulté
- Propriété intellectuelle / Propriété industrielle
- Concurrence
- Consommation / Distribution
- Droit du commerce international
- Vente et contrats commerciaux
- Fonds de commerce et baux commerciaux
- Activités de l'entreprise
- Autres ouvrages
- Droit pénal & procédure pénale
- Droit social
- Procédure civile / Droit de l'exécution / Droit processuel
- Droit fiscal
- Droit immobilier
- Droit de l'urbanisme et de la construction
- Droit des NTIC et des médias / Internet / Commerce électronique
- Droit de l'environnement
- Droit des associations et des fondations
- Droit de l'arbitrage
- Droit des assurances
- Droit notarial
- Droit de la santé / Droit médical
- Droit du sport
- Droit du tourisme
- Droit des transports
- Droit rural / Agricole
- Droit de l'animal
- Droit des étrangers
- Droit de la culture
- Droit de la régulation
- Droit de l'éducation
- Droit électoral
- Droit de l'énergie
- Droit constitutionnel
- Libertés publiques / Droits de l'homme
- Sciences politiques
- Droit administratif
- Finances publiques / Droit budgétaire
- Droit international et étranger
- Droit européen
- Théorie / Sociologie / Histoire / Philosophie / Histoire du droit
- Méthodologie
- Langues étrangères appliquées
- Vocabulaire juridique
- Autres droits
-
Économie
- Voir tous les ouvrages
- Ouvrages généraux
- Histoire économique
- Théories économiques
- Macro-économie
- Micro-économie / Économie d'entreprise
- Comptabilité nationale
- Économétrie
- Économie du travail / Économie sociale
- Commerce international
- Économie européenne / Économie internationale
- Monnaie / Institutions / Politiques monétaires
- Marchés financiers
- Mathématiques
- Statistiques
- Autres ouvrages
-
Bourse & Patrimoine
Bourse -
Comptabilité / Gestion
Comptabilité Gestion - Voir tous les ouvrages
- Ouvrages généraux
- Diagnostic et analyse financière
- Finance / Trésorerie / Investissement
- Capital investissement
- Contrôle de gestion
- Évaluation des entreprises
- Fusions et acquisitions
- Systèmes d'information
- Stratégie / Organisation / Management
- Gestion de projet
- Création / Reprise / Redressement d'entreprise
- Gestion des ressources humaines
- Fonction publique / Vie professionnelle / Carrières
- Formation
- Marketing et communication
- Gestion commerciale / Vente
- Gestion industrielle / Qualité
- Carrière et emploi
- Efficacité personnelle
- Internet / NTIC
- Expatriation
- Export / Import / International
- Autres ouvrages
-
Concours & Examens
Prépa concours de la fonction publique Prépa examens
check_circle
check_circle