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