Thomas Ehrhard

Maître de conférences
Science politique.
Université Paris Panthéon-Assas

Centre d'Études Constitutionnelles et Politiques
Actualités PUBLICATIONS
ActualitésPUBLICATIONS
  • THESE

    Le découpage électoral en France sous la Vème République : entre logiques partisanes et intérêts parlementaires, soutenue en 2014 à Paris 2 sous la direction de Hugues Portelli, membres du jury : Xavier Crettiez (Rapp.), Michel Hastings (Rapp.), Ilvo Diamanti, Sylvie Strudel et Jean-Michel De Waele   

  • Thomas Ehrhard, Hugues Portelli, Droit constitutionnel, 15e éd., Dalloz et BNLefebvre Dalloz, 2023, Hypercours Dalloz, 544 p.      

    Le droit constitutionnel moderneintègre l'ensemble des règles juridiques qui régissent le fonctionnement des institutions mais aussi de la vie politique et des droits fondamentaux. Cet ouvrage traite dans une première partie des grandes démocraties contemporaines dans une perspective historique et comparée, et étudie dans une seconde partie les institutions de la Cinquième République, intégrant leur évolution sur un demi siècle. Il met particulièrement l’accent sur le rôle nouveau de la jurisprudence des juridictions constitutionnelles et sur l’encadrement juridique croissant de la vie politique. Selon le principe de la collection,les rubriques pédagogiques (résumé du cours, définitions, documents, bibliographie, sujets corrigés) permettent une application immédiate du cours. Ce livre est ainsi destiné aux étudiants des facultés de droit, des AES et des IEP et aux candidats aux concours administratifs.

    Thomas Ehrhard, Hugues Portelli, Droit constitutionnel, 14e éd., Dalloz, 2021, HyperCours, 523 p.      

    Le droit constitutionnel moderne intègre l'ensemble des règles juridiques qui régissent le fonctionnement des institutions mais aussi de la vie politique et des droits fondamentaux. Cet ouvrage traite dans une première partie des grandes démocraties contemporaines dans une perspective historique et comparée, et étudie dans une seconde partie les institutions de la Cinquième République, intégrant leur évolution sur un demi siècle. Il met particulièrement l'accent sur le rôle grandissant de la jurisprudence des juridictions constitutionnelles ainsi que sur l'encadrement juridique croissant de la vie politique. Dans sa 14e édition, l'ouvrage est à jour des connaissances et de l'actualité.

    Thomas Ehrhard, Hugues Portelli, Droit constitutionnel, 13e éd., Dalloz, 2019, HyperCours, 507 p.      

    Le droit constitutionnel moderne intègre l'ensemble des règles juridiques qui régissent le fonctionnement des institutions mais aussi de la vie politique et des droits fondamentaux. Cet ouvrage traite dans une première partie des grandes démocraties contemporaines dans une perspective historique et comparée, et étudie dans une seconde partie les institutions de la Cinquième République, intégrant leur évolution sur un demi siècle. Il met particulièrement l'accent sur le rôle nouveau de la jurisprudence des juridictions constitutionnelles et sur l'encadrement juridique croissant de la vie politique. Selon le principe de la collection, les rubriques pédagogiques (résumé du cours, définitions, documents, bibliographie, sujets corrigés) permettent une application immédiate du cours. Ce livre est ainsi destiné aux étudiants des facultés de droit, des AES et des IEP et aux candidats aux concours administratifs.

    Thomas Ehrhard (dir.), Vies politiques: mélanges en l'honneur de Hugues Portelli, Dalloz, 2018, Études, mélanges, travaux, 406 p.     

    Thomas Ehrhard, Le découpage électoral sous la Ve République: intérêts parlementaires, logiques partisanes, Classiques Garnier numérique, 2017, Bibliothèque de science politique, 967 p.      

    Le découpage électoral sous la Ve République est marqué par le mythe du gerrymandering ou du "charcutage électoral". La carte électorale serait découpée à des fins électoralistes par les gouvernements, avec des circonscriptions produisant des gains partisants. Cependant, le découpage électoral ne correspond pas à cette représentation cognitive ordinaire. La déconstruction du processus ainsi que l'analyse statistique et cartographique des conséquences électorales démontrent que le découpage électoral n'est pas un facteur explicatif suffisant, autonome et déterminant des résultats électoraux. Il participe néanmoins à faire l'élection, plus à l'avantage des parlementaires que des partis politiques, et à structurer la compétition électorale.

    Thomas Ehrhard, Cécile Alduy, Alexandre Dézé, Le Front national, Seuil, 2016, 182 p. 

    Thomas Ehrhard, Hugues Portelli, Xavier Crettiez, Michel Hastings, Ilvo Diamanti [et alii], Le découpage électoral en France sous la Vème République: entre logiques partisanes et intérêts parlementaires,, 2014, 1332 p.  

    Le découpage électoral est marqué par le mythe du gerrymandering, ou du « charcutage électoral ». Gouvernements et majorités l’utiliseraient dans l’objectif d’établir une carte électorale favorable par la délimitation de circonscriptions visant produire des gains électoraux. Il serait un outil électoraliste utilisé à des fins partisanes. En France, cette perception prédomine notamment en raison du peu de travaux consacrés au découpage électoral qui est, pourtant, un objet important au sein de la littérature politiste internationale. La thèse propose une étude du découpage des circonscriptions législatives sous la Ve République selon deux axes. Le premier, relatif au processus, interroge le rôle et l’action du gouvernement. Grâce à une analyse pluridisciplinaire, il apparaît que le découpeur est soumis à de fortes contraintes, et que les députés y occupent un rôle majeur. Le second porte sur les conséquences des délimitations. Après l’élaboration d’une méthode permettant d’appréhender l’aspect politique des découpages, l’étude empirique – statistique et cartographique – établit que les circonscriptions sont découpées en fonction des députés – sortants –, avant d’être favorables aux partis politiques, ou à la majorité qui y procède. S’il apparaît également que les changements de délimitations ne produisent pas toujours les effets escomptés, ils disposent de conséquences structurelles qui se vérifient sur la compétition électorale. Sous la Ve République, les découpages électoraux peuvent être qualifiés d’interparlementaires et d’intrapartisans. In fine, ni le processus, ni les conséquences des découpages électoraux ne correspondent à sa représentation cognitive classique.

    Thomas Ehrhard, Hugues Portelli, Le référendum du 6 juillet 2003 en Corse, une réforme institutionnelle inachevée,, 2009, 285 p. 

  • Thomas Ehrhard, Guillaume Geoffroy, « Integration in Cones », Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2025, n°1   

    Thomas Ehrhard, Aymeric Walch, « Coherent Taylor expansion as a bimonad », Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2025   

    Thomas Ehrhard, « A coherent differential PCF »: A coherent differential PCF, Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2023   

    Thomas Ehrhard, « Coherent differentiation », Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2023, n°45   

    Thomas Ehrhard, « Differentials and distances in probabilistic coherence spaces », Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2022, n°3, p. 21233   

    Thomas Ehrhard, Ying Jiang, Shichao Liu, « A fully abstract semantics for value-passing CCS for trees », Frontiers of Computer Science, Springer Verlag, 2019, n°4 

    Thomas Ehrhard, Jean Krivine, Ying Jiang, « A calculus of branching processes », Theoretical Computer Science, Elsevier, 2019   

    Thomas Ehrhard, Christine Tasson, « Probabilistic call by push value », Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019 

    Thomas Ehrhard, Michele Pagani, Christine Tasson, « Full Abstraction for Probabilistic PCF », Journal of the ACM (JACM), Association for Computing Machinery, 2018, n°4, pp. 1-44 

    Thomas Ehrhard, « An introduction to differential linear logic: proof-nets, models and antiderivatives », Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, n°7 

    Thomas Ehrhard, Michele Pagani, Christine Tasson, « Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming », Proceedings of the ACM on Programming Languages, ACM, 2017, pp. 1-28 

    Thomas Ehrhard, Camille Bedock, Damien Bol, « Political Scientists and Electoral Reforms in Europe and Canada: What They Know, What They Do », Election Law Journal: Rules, Politics, and Policy, Mary Ann Liebert, 2017, n°3 

    Thomas Ehrhard, « The Scott model of Linear Logic is the extensional collapse of its relational model », Theoretical Computer Science, Elsevier, 2012, pp. 20-45   

    Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto, « A relational semantics for parallelism and non-determinism in a functional setting », Annals of Pure and Applied Logic, Elsevier Masson, 2012, n°7 

    Thomas Ehrhard, Vincent Danos, « Probabilistic coherence spaces as a model of higher- order probabilistic computation », Information and Computation, Elsevier, 2011, n°1 

    Thomas Ehrhard, Olivier Laurent, « Acyclic Solos and Differential Interaction Nets », Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, n°3, p. 11 

    Thomas Ehrhard, Olivier Laurent, « Interpreting a finitary pi-calculus in differential interaction nets », Information and Computation, Elsevier, 2010, n°6 

    Thomas Ehrhard, Laurent Regnier, « Uniformity and the Taylor expansion of ordinary lambda-terms », Theoretical Computer Science, Elsevier, 2008, n°23   

    Thomas Ehrhard, Laurent Regnier, « Differential interaction nets », Theoretical Computer Science, Elsevier, 2006, n°2 

    Thomas Ehrhard, « Finiteness spaces », Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, n°4 

    Thomas Ehrhard, « A completeness theorem for symmetric product phase spaces », The Journal of Symbolic Logic, Association for Symbolic Logic, 2004, n°2 

    Thomas Ehrhard, Laurent Regnier, « The differential lambda-calculus », Theoretical Computer Science, Elsevier, 2003, n°13, pp. 1-41 

    Thomas Ehrhard, « On Köthe Sequence Spaces and Linear Logic », Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2002, n°5 

    Thomas Ehrhard, Antonio Bucciarelli, « On phase semantics and denotational semantics: the exponentials », Annals of Pure and Applied Logic, Elsevier Masson, 2001, n°3 

    Thomas Ehrhard, « Parallel and serial hypercoherences », Theoretical Computer Science, Elsevier, 2000, n°12, pp. 39-81 

    Thomas Ehrhard, Antonio Bucciarelli, « On Phase Semantics and Denotational Semantics in Multiplicative Additive Linear Logic », Annals of Pure and Applied Logic, Elsevier Masson, 2000, n°3 

    Thomas Ehrhard, « A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries », Information and Computation, Elsevier, 1999, n°1 

    Thomas Ehrhard, « Projecting Sequential Algorithms on Strongly Stable Functions », Annals of Pure and Applied Logic, Elsevier Masson, 1996, n°3 

    Thomas Ehrhard, Antonio Bucciarelli, « Sequentiality in an Extensional Framework », Information and Computation, Elsevier, 1994, n°2 

    Thomas Ehrhard, « Hypercoherences, a strongly stable model of linear logic », Mathematical Structures in Computer Science, Cambridge University Press (CUP), 1993, n°4 

  • Thomas Ehrhard, From Differential Linear Logic to Coherent Differentiation, 2024   

    Thomas Ehrhard, Flavien Breuvart, Nicolas Munnich, Federico Olimpieri, Une approche fibrationnelle de la logique indexée multiplicative additive, 2023   

    Thomas Ehrhard, Upper approximating probabilities of convergence in probabilistic coherence spaces, 2020   

    Thomas Ehrhard, DIFFERENTIALS AND DISTANCES IN PROBABILISTIC COHERENCE SPACES (EXTENDED VERSION), 2020   

    Thomas Ehrhard, Farzad Jafar-Rahmani, On the denotational semantics of Linear Logic with least and greatest fixed points of formulas, 2019   

    Thomas Ehrhard, Effects in Call-By-Push-Value, from a Linear Logic point of view, 2016   

    Thomas Ehrhard, A Call-By-Push-Value FPC and its interpretation in Linear Logic, 2015   

    Thomas Ehrhard, Richard Blute, Christine Tasson, A convenient differential category, 2010   

    Thomas Ehrhard, Vincent Danos, On probabilistic coherence spaces, 2008   

    Thomas Ehrhard, On finiteness spaces and extensional presheaves over the Lawvere theory of polynomials, 2007   

    Thomas Ehrhard, Olivier Laurent, On differential interaction nets and the pi-calculus, 2006   

    Thomas Ehrhard, Michele Pagani, Christine Tasson, Measurable Cones and Stable, Measurable Functions: A Model for Probabilistic Higher-Order Programming   

  • Thomas Ehrhard, « La Constitution de la Ve République à l'épreuve. Réflexions autour de l'actualité constitutionnelle », le 04 avril 2025  

    Journée d'études organisée par le Centre d'Etudes Constitutionnelles et Politiques - CECP, Université Paris Panthéon-Assas

    Thomas Ehrhard, « Les sciences électorales. Expertises, dispositifs et circulations des savoirs sur les élections », le 28 mars 2024  

    Colloque organisé par le CURAP, Université de Picardie sous la direction scientifique de Clément Desrumaux et Sébastien Vignon, en collaboration avec Triangle et l’ANR VERELECT

    Thomas Ehrhard, Claudia Faggian, Michele Pagani, « The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic », 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Roma Italy (IT), le 01 janvier 2023 

    Thomas Ehrhard, « Les partis politiques : des acteurs de la vie démocratique en déclin ? », le 01 juin 2023  

    Organisé par le CREDESPO au nom de la Commission de la jeune recherche constitutionnelle (CJRC) de l'Association française de droit constitutionnel (AFDC), sous l'égide de Eva Darnay, doctorante, et Marie Suzel Tabard, docteure en Droit public

    Thomas Ehrhard, Aymeric Walch, « Cartesian Coherent Differential Categories », Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston (MA) United States (US), le 05 mars 2023 

    Thomas Ehrhard, « Quand la politique prend langue », le 29 novembre 2021  

    Organisé par le Centre d'études constitutionnelles et politiques (CECP) de l'Univ. Paris II Panthéon-Assas et le CERAPS, UMR 8026 de l'université de Lille, du CNRS et de Sciences Po Lille

    Thomas Ehrhard, Farzad Jafarrahmani, « Categorical models of Linear Logic with fixed points of formulas », 36th ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), Rome Italy (IT), le 09 juillet 2021 

    Thomas Ehrhard, Farzad Jafarrahmani, Alexis Saurin, « On relation between totality semantic and syntactic validity », 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Rome (virtual) Italy (IT), le 27 juin 2021 

    Thomas Ehrhard, « Differentiation in probabilistic coherence spaces », Tangent Categories and their Applications, online Canada (CA), le 14 juin 2021 

    Thomas Ehrhard, « Des institutions et des normes », le 19 mai 2021  

    Organisé par Le Centre d’études constitutionnelles et politiques (CECP), Université Paris II Panthéon-Assas

    Thomas Ehrhard, « Cones as a model of intuitionistic linear logic », LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken Germany Germany (DE), le 14 décembre 2020 

    Thomas Ehrhard, « Les usages politiques et sociaux de l’insulte », le 21 octobre 2020  

    Organisées par Cédric Passard, Maître de conférences en science politique à Sciences Po Lille - CERAPS, David Descamps et Agathe Foudi, doctorants en sociologie au CLERSE

    Thomas Ehrhard, « Non-idempotent intersection types in logical form », Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Dublin Ireland (IE), le 17 avril 2020 

    Thomas Ehrhard, « Differentials and Distances in Probabilistic Coherence Spaces », International Conference on Formal Structures for Computation and Deduction, Dortmund, le 24 juin 2019 

    Thomas Ehrhard, « La loi électorale en Europe », le 10 novembre 2017  

    Organisé par la section Droit Constitutionnel de la Société de Législation Comparée en partenariat avec le Centre d’études constitutionnelles et politiques

    Thomas Ehrhard, Pierre Boutillier, Jean Krivine, « The Free Exponential Modality of Probabilistic Coherence Spaces », Foundations of Software Science and Computation Structures (FOSSACS 2017), Uppsala Sweden (SE), le 22 avril 2017 

    Thomas Ehrhard, « Réévaluer le Parlement ? La révision constitutionnelle du 23 juillet 2008 à l’épreuve du temps », le 16 décembre 2016  

    Organisé par Guillaume Tusseau et Olivier Rozenberg

    Thomas Ehrhard, Christine Tasson, Michele Pagani, « Probabilistic coherence spaces are fully abstract for probabilistic PCF », The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '14), San Diego, CA United States (US), le 08 janvier 2014 

    Thomas Ehrhard, « Collapsing non-idempotent intersection types », The annual conference of the European Association for Computer Science Logic, Fontaineblau, le 03 septembre 2012 

    Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, « Resource Lambda-Calculus: the Differential Viewpoint », Computer Science Logic (CSL'11), Bergen Norway (NO), le 12 septembre 2011 

    Thomas Ehrhard, Michele Pagani, Christine Tasson, « The computational meaning of probabilistic coherent spaces », Logic in Computer Science (LICS), Toronto, ON Canada (CA), le 21 juin 2011 

    Thomas Ehrhard, Alberto Carraro, Antonino Salibra, « Categorical Models for Simply Typed Resource Calculi », 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), Ottawa Canada (CA), le 23 août 2010 

    Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Antonino Salibra, « A Relational Model of a Parallel and Non-deterministic lambda-Calculus », Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, le 03 janvier 2009 

    Thomas Ehrhard, « Differential Linear Logic and Processes », Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, Milan Italy (IT), le 07 septembre 2008 

    Thomas Ehrhard, Olivier Laurent, « Interpreting a Finitary Pi-Calculus in Differential Interaction Nets », CONCUR 2007, Lisboa Portugal (PT), le 03 septembre 2007 

    Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto, « Not enough points is enough », Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne Switzerland (CH), le 11 septembre 2007 

    Thomas Ehrhard, Laurent Regnier, « Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms », Second Conference on Computability in Europe, CiE 2006, Swansea United Kingdom (GB), le 29 juin 2006 

    Thomas Ehrhard, Nuno Barreiro, « Quantitative Semantics Revisited », Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila Italy (IT), le 07 avril 1999 

    Thomas Ehrhard, Vincent Danos, Patrick Baillot, Laurent Regnier, « Timeless games », Computer Science Logic Denmark (DK), le 23 août 1997 

    Thomas Ehrhard, Vincent Danos, Patrick Baillot, « Believe it or not, AJM's games model is a model of classical linear logic », Logic in Computer Science Poland (PL), le 29 juin 1997 

    Thomas Ehrhard, Loic Colson, « On Strong Stability and Higher-Order Sequentiality », Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France, Paris, le 04 juillet 1994