Podcasts about Krivine

  • 28PODCASTS
  • 44EPISODES
  • 45mAVG DURATION
  • 1MONTHLY NEW EPISODE
  • May 5, 2025LATEST

POPULARITY

20172018201920202021202220232024


Best podcasts about Krivine

Latest podcast episodes about Krivine

Iowa Type Theory Commute
Krivine's Proof of FD, Using Intersection Types

Iowa Type Theory Commute

Play Episode Listen Later May 5, 2025 21:35


Krivine's book (Section 4.2) has a proof of the Finite Developments Theorem, based on intersection types.  I discuss this proof in this episode.

Le van Beethoven
Emmanuel Krivine, l'amour de la musique française

Le van Beethoven

Play Episode Listen Later Mar 31, 2025 88:31


durée : 01:28:31 - Emmanuel Krivine, l'amour de la musique française - par : Aurélie Moreau - Achevé il y a cinquante ans, l'Auditorium Maurice Ravel est l'écrin de l'Orchestre National de Lyon, dont Emmanuel Krivine a été le directeur musical de 1987 à 2000. Le voici principalement dans le grand répertoire français avec l'ONL.

Type Theory Forall
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

Type Theory Forall

Play Episode Listen Later Nov 29, 2024 63:36


In this episode Pierre-Marie Pédrot, one of the main Coq/Rocq developers joins us to talk about Krivine, Kleene and Gödel Realizability Models, how it relates to the BHK interpretation and CPS Translations, and how it was all already part of Gödel's work in Dialectica! If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall Links Pierre-Marie's Website Pierre-Marie's PhD Thesis (Very nice read) BHK Interpretation Type Theory Forall website Type Theory Forall discord

translation pierre marie marie p krivine bhk dialectica
O'Connor & Company
FDD's Enia Krivine on Tensions in the Middle East and Israel

O'Connor & Company

Play Episode Listen Later Aug 2, 2024 9:13


WMAL GUEST: 6:35 AM - INTERVIEW - ENIA KRIVINE - the Senior Director for FDD's Israel Programs and National Security Network - Discuss tensions in Middle East / Israel SOCIAL MEDIA: https://x.com/EKrivine BIO: https://www.fdd.org/team/enia-krivine/ Hamas political chief to be buried in Qatar as Iran vows retaliation Hamas political leader Ismail Haniyeh will be buried today in Qatar, as his killing raises fears that Israel's war with the Palestinian militant group in Gaza could spiral into a fully-fledged Middle East conflict. US President Joe Biden said the assassination had “not helped” the chances of a ceasefire deal and expressed concern about the escalating tensions in the region after Iran vowed retaliation for Haniyeh's killing on its soil. Haniyeh is the third high-profile figure in Iran-backed militant groups to be killed in recent weeks. He was assassinated in Tehran using a hidden explosive device, a source told CNN. Hezbollah launched dozens of rockets toward northern Israel after its leader vowed a response to Israel's attack in southern Beirut that killed its top commander. Where to find more about WMAL's morning show:  Follow the Show Podcasts on Apple podcasts, Audible and Spotify. Follow WMAL's "O'Connor and Company" on X: @WMALDC, @LarryOConnor,  @Jgunlock, @patricepinkfile, and @heatherhunterdc.  Facebook: WMALDC and Larry O'Connor Instagram: WMALDC Show Website: https://www.wmal.com/oconnor-company/ How to listen live weekdays from 5 to 9 AM: https://www.wmal.com/listenlive/ Episode: Friday, August 2, 2024 / 6 AM Hour  O'Connor and Company is proudly presented by Veritas AcademySee omnystudio.com/listener for privacy information.

O'Connor & Company
Kamala's Code Switching, Enia Krivine, Maduro Update

O'Connor & Company

Play Episode Listen Later Aug 2, 2024 29:25


In the 6 AM Hour: Larry O'Connor and Patrice Onwuka discussed: JD VANCE WHILE VISITING THE US-MEXICO BORDER, RESPONDED TO QUESTIONS ABOUT KAMALA'S RACIAL IDENTITY: They don't give me pause at all... all he said is that she's a CHAMELEON MSNBC complains that the Trump campaign is exposing Kamala Harris' 'code switching' when she used an accent at a rally this week Montage about Kamala's Indian heritage in a CNN report WMAL GUEST: 6:35 AM - INTERVIEW - ENIA KRIVINE - the Senior Director for FDD's Israel Programs and National Security Network - Discuss tensions in Middle East / Israel SOCIAL MEDIA: https://x.com/EKrivine BIO: https://www.fdd.org/team/enia-krivine/ Hamas political chief to be buried in Qatar as Iran vows retaliation Hamas political leader Ismail Haniyeh will be buried today in Qatar, as his killing raises fears that Israel's war with the Palestinian militant group in Gaza could spiral into a fully-fledged Middle East conflict. US President Joe Biden said the assassination had “not helped” the chances of a ceasefire deal and expressed concern about the escalating tensions in the region after Iran vowed retaliation for Haniyeh's killing on its soil. Haniyeh is the third high-profile figure in Iran-backed militant groups to be killed in recent weeks. He was assassinated in Tehran using a hidden explosive device, a source told CNN. Hezbollah launched dozens of rockets toward northern Israel after its leader vowed a response to Israel's attack in southern Beirut that killed its top commander. U.S. says Maduro lost Venezuelan election, calls for talks, transition Where to find more about WMAL's morning show:  Follow the Show Podcasts on Apple podcasts, Audible and Spotify. Follow WMAL's "O'Connor and Company" on X: @WMALDC, @LarryOConnor,  @Jgunlock, @patricepinkfile, and @heatherhunterdc.  Facebook: WMALDC and Larry O'Connor Instagram: WMALDC Show Website: https://www.wmal.com/oconnor-company/ How to listen live weekdays from 5 to 9 AM: https://www.wmal.com/listenlive/ Episode: Friday, August 2, 2024 / 6 AM Hour  O'Connor and Company is proudly presented by Veritas AcademySee omnystudio.com/listener for privacy information.

The Michael Berry Show
Bonus Podcast - The Rest Of Our Conversation With Enia Krivine

The Michael Berry Show

Play Episode Listen Later Aug 1, 2024 10:58 Transcription Available


Talk Sapiens - La Tribune
Comment Réinventer Le Dialogue Pour Créer Des Relations De Confiance

Talk Sapiens - La Tribune

Play Episode Listen Later Jul 3, 2024 44:38


Comment avoir le courage de réinventer le dialogue pour créer des relations de confiance aussi bien dans l'environnement professionnel que dans la sphère privée, notamment dans des moments critiques ? Raphaël Krivine dialogue avec Valérie Gautier, Professeur à HEC qui puise son inspiration et sa méthodologie dans la philosophie, la psychologie, la littérature pratique du sport en compétition et aussi dans la traduction de poésies ! Elle vient de co-écrire Réinventer le dialogue, du savoir-être au savoir relier chez Eyrolles (mai 2024).

Au coeur de l'orchestre
Les 90 ans de l'Orchestre National de France 18/20 : Les 90 ans de l'Orchestre National V - les années 2010 et 2020 (2/4) : De Krivine à Macelaru

Au coeur de l'orchestre

Play Episode Listen Later Jun 25, 2024 28:29


durée : 00:28:29 - Les 90 ans de l'Orchestre National V - les années 2010 et 2020 (2/4) - par : Christian Merlin - Nous arrivons au terme de ce feuilleton qui nous aura occupé une bonne partie de la saison, autour des grandes heures de l'Orchestre National. Un aperçu sur l'époque récente, de Daniele Gatti à Cristian Macelaru en passant par Emmanuel Krivine, s'accompagnera de bilans et de perspectives. - réalisé par : Marie Grout

france national ans les ann krivine daniele gatti emmanuel krivine marie grout
Talk Sapiens - La Tribune
Tendances du luxe 2024 : la vision d'Eric Briones

Talk Sapiens - La Tribune

Play Episode Listen Later Feb 7, 2024 36:08


Le secteur du luxe est l'un des fleurons français. C'est aussi un miroir de la société. Quelle définition lui donner ? Comment se porte-il en 2024 ? Va-t-on vers une économie où ne subsisteront que le luxe et le low cost ? Risque-t-on de voir des vagues de délocalisation ? Le luxe, qui s'est longtemps nourri des riches, s'inspire-t-il désormais de la rue ? Web3, metaverse, IA… où en est la transformation digitale du secteur ? Comment manage-t-on des créatifs dans le luxe ? Quelles tendances de consommation préfigure-t-il ? « Libre penseur du luxe », auteur de plusieurs ouvrages (dont Luxe et digital, ed. Dunod), à la tête du site Journal du Luxe et d'une école de formation, planneur stratégique reconnu… Eric Briones répond aux questions de Raphaël Krivine dans ce numéro de Sapiens Insight.

Original.e
Infiltré(e), la nouvelle mini-série de France TV

Original.e

Play Episode Listen Later Sep 25, 2023


Face à elle, Thierry Neuvic incarne le commissaire Max Vernet, qui supervise cette opération de tous les dangers. Une collaboration évidente pour Audrey Fleurot : « Nous n'avions jamais travaillé ensemble, mais j'aimais beaucoup l'acteur. J'étais très contente quand on me l'a proposé, car j'ai senti tout de suite que ça allait matcher. Je ne saurais pas dire pourquoi ! » Infiltré(e) est une mini-série télévisée française en 6 épisodes réalisée par Jean-Philippe Amar sur un scénario de Frédéric Krivine. Elle démarre sur France 2 ce 25 septembre à 21h10. Produite par Tetra Media Fiction et Emmanuel Daucé avec la participation de France Télévisions, c'est la dernière collaboration France TV et Audrey Fleurot (ça devient des retrouvailles Un village français). Composée de six épisodes, la mini-série Infiltré(e) sera diffusée sur trois soirées, avec deux épisodes par semaine. https://youtu.be/uuuT0m3mT_E?si=IOx97ehfXuqFYy-B Chimiste dans la police, Aurélie (Audrey Fleurot) élève seule son fils depuis la mort de son compagnon. Quand le commissaire Max Vernet (Thierry Neuvic) a recours à ses compétences pour enquêter sur l'UBH, une nouvelle drogue de synthèse, qui commence à faire des victimes, elle ne se doute pas qu'elle va se retrouver infiltrée au cœur d'un réseau de jeunes et dangereux trafiquants. Face au charismatique Jésus, qui tient le réseau depuis Marseille, a-t-elle une chance de mener à bien sa mission ? Pour sauver son fils, Aurélie n'a plus le choix. L'amour maternel est une drogue dure… L'auteur Frédéric Krivine, connu pour Un village français et plus récemment co-auteur de Sentinelles nous propose une nouvelle série qui maintient le spectateur en haleine autour du personnage d'Audrey Fleurot. Centrée autour de son héroïne, en voulant montrer le quotidien d'une mère aimante, Infiltré(e) ne se veut pas des plus réalistes concernant les trafics de stupéfiants mais être au plus près des émotions d'une femme plongée dans une situation impossible. [bs_show url="infiltree"] On retrouve Infiltré(e) sur France 2 dès aujourd'hui et en replay sur france.tv.

BetaSeries La Radio
Infiltré(e), la nouvelle mini-série de France TV

BetaSeries La Radio

Play Episode Listen Later Sep 25, 2023


Face à elle, Thierry Neuvic incarne le commissaire Max Vernet, qui supervise cette opération de tous les dangers. Une collaboration évidente pour Audrey Fleurot : « Nous n'avions jamais travaillé ensemble, mais j'aimais beaucoup l'acteur. J'étais très contente quand on me l'a proposé, car j'ai senti tout de suite que ça allait matcher. Je ne saurais pas dire pourquoi ! » Infiltré(e) est une mini-série télévisée française en 6 épisodes réalisée par Jean-Philippe Amar sur un scénario de Frédéric Krivine. Elle démarre sur France 2 ce 25 septembre à 21h10. Produite par Tetra Media Fiction et Emmanuel Daucé avec la participation de France Télévisions, c'est la dernière collaboration France TV et Audrey Fleurot (ça devient des retrouvailles Un village français). Composée de six épisodes, la mini-série Infiltré(e) sera diffusée sur trois soirées, avec deux épisodes par semaine. https://youtu.be/uuuT0m3mT_E?si=IOx97ehfXuqFYy-B Chimiste dans la police, Aurélie (Audrey Fleurot) élève seule son fils depuis la mort de son compagnon. Quand le commissaire Max Vernet (Thierry Neuvic) a recours à ses compétences pour enquêter sur l'UBH, une nouvelle drogue de synthèse, qui commence à faire des victimes, elle ne se doute pas qu'elle va se retrouver infiltrée au cœur d'un réseau de jeunes et dangereux trafiquants. Face au charismatique Jésus, qui tient le réseau depuis Marseille, a-t-elle une chance de mener à bien sa mission ? Pour sauver son fils, Aurélie n'a plus le choix. L'amour maternel est une drogue dure… L'auteur Frédéric Krivine, connu pour Un village français et plus récemment co-auteur de Sentinelles nous propose une nouvelle série qui maintient le spectateur en haleine autour du personnage d'Audrey Fleurot. Centrée autour de son héroïne, en voulant montrer le quotidien d'une mère aimante, Infiltré(e) ne se veut pas des plus réalistes concernant les trafics de stupéfiants mais être au plus près des émotions d'une femme plongée dans une situation impossible. [bs_show url="infiltree"] On retrouve Infiltré(e) sur France 2 dès aujourd'hui et en replay sur france.tv.

Tous les cinémas du monde
Hollywood à l'arrêt: les raisons de la grève

Tous les cinémas du monde

Play Episode Listen Later Sep 9, 2023 48:30


Tournages en suspens, scénarios dans les limbes, films de la rentrée aux abonnés absents (Gladiator 2, Beetlejuice 2, Napoléon, Dune 2, Mission : impossible, Spiderman...) : comme dans un film d'horreur, tout est à l'arrêt à Hollywood depuis que le 2 mai 2023, les scénaristes se sont mis en grève, bientôt rejoints en juillet par les actrices et acteurs. Une grève dont le nerf est le partage des revenus liés au streaming et les risques que l'intelligence artificielle fait courir à la profession. Pour en parler : - Rosalie Brun, déléguée générale de la SRF (Société des réalisatrices et réalisateurs de films) - Jordan Mintzer, journaliste, critique de cinéma (Hollywood Reporter, Libération) et producteur - Frédéric Krivine, scénariste et membre de la Guide des scénaristes.  

Le van Beethoven
Emmanuel Krivine, un violoniste devenu chef d'orchestre

Le van Beethoven

Play Episode Listen Later Jul 23, 2023 58:35


durée : 00:58:35 - Emmanuel Krivine, un violoniste devenu chef d'orchestre - par : Aurélie Moreau - Invité régulier des meilleurs orchestres internationaux, Emmanuel Krivine a été directeur musical de prestigieuses formations en France et au Luxembourg, dont les orchestres nationaux de Lyon et de France. Il a aussi fondé la Chambre Philharmonique.

Les interviews d'Inter
Cédric Klapisch et Frédéric Krivine : "L'arrivée des plateformes a complètement changé l'industrie" du cinéma

Les interviews d'Inter

Play Episode Listen Later Jul 22, 2023 17:31


durée : 00:17:31 - L'invité du week-end - par : Helene Fily - Le réalisateur Cédric Klapisch et le scénariste Frédéric Krivine sont les invités du grand entretien, pour évoquer la grande grève des scénaristes et acteurs à Hollywood, qui prend de l'ampleur face aux studios qui ne veulent pour l'instant rien lâcher.

Le six neuf
Maria Elisa Alonso / Cédric Klapisch / Frédéric Krivine

Le six neuf

Play Episode Listen Later Jul 22, 2023 179:59


durée : 02:59:59 - Le 6/9 de l'été - par : Helene Fily - Maria Elisa Alonso, Cédric Klapisch et Frédéric Krivine sont les invités de la matinale.

klapisch krivine
L'Entertainment Lab
Raphaël KRIVINE - Directeur opération et relation client - AXA

L'Entertainment Lab

Play Episode Listen Later Jun 19, 2023 44:07


Découvrez le podcast de Raphaël KRIVINE, Directeur opération et relation client chez AXA ! Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Talk Sapiens - La Tribune
Data science et IA : quels sont les concepts clés ?

Talk Sapiens - La Tribune

Play Episode Listen Later Jun 16, 2023 57:40


Masterclass datascience ! Où en est l'utilisation de la Data Science et de l'IA dans les entreprises ? Quelles sont les méthodes gagnantes à appliquer pour piloter au mieux un projet de transformation data ? Quels ont les liens entre IA, Machine Learning, Deep Learning, IA Generative… ? Où en sont l'enseignement et la recherche en France dans le domaine et où en serons-nous dans 5 ans ? Vincent Fraitot, professeur associé à HEC, en charge du Master of Science “Data Science for Business” à HEC Paris, qui vient de publier le guide Data Science & IA pour les managers (2023) et Jérôme Lafon, Directeur Technique du leader français de l'assurance en ligne Direct Assurance ont échangé au cours d'une Masterclass destinée aux non spécialistes des mathématiques et de la programmation qui souhaitent avoir un tour d'horizon sur ces questions. Animé par Raphaël Krivine.

Au coeur de l'orchestre
Riches heures de l'Orchestre National de Lyon (2/4) : Les années Krivine

Au coeur de l'orchestre

Play Episode Listen Later Jun 5, 2023 28:47


durée : 00:28:47 - Riches heures de l'Orchestre National de Lyon (2/4) : Les années Krivine - par : Christian Merlin - Le 22 décembre 1968 est signé l'arrêté portant création d'un orchestre symphonique permanent sur financement public à Lyon, l'Orchestre Philharmonique Rhône-Alpes. Retour sur la préhistoire et l'histoire d'un pionnier des orchestres de région. - réalisé par : Adrien Landivier

Culture Numérique
La relation client en 2023, une année pleine de défis

Culture Numérique

Play Episode Listen Later Jun 5, 2023 29:14


En 2023, l'ère est au numérique, à ses innovations galopantes, mais aussi à l'hyper compétitivité. Dans ce contexte, l'expérience client est centrale, son optimisation, inévitable. Est-ce pour autant simple de construire une relation client efficace ? Spoiler : non. Surtout en 2023, une année pleine de défis. La pandémie de Covid-19 a bouleversé la société, les attentes des consommateurs ont évolué. La situation économique instable s'y est substituée. Tout cela pousse à revoir la manière dont les entreprises abordent leur relation client. Sans oublier les défis technologiques.Intelligence artificielle, multicarnalité, importance des feedbacks, voilà quelques-unes des problématiques qui sont abordées dans cet épisode. À cette occasion, vous entendrez Raphaël Krivine, Directeur des opérations et de la relation client d'Axa Banque, et Cédric Blum, Customer Care Director de Doctolib. Sans oublier Damien Nuyttens, Directeur Expérience Clients de Edenred, ainsi que Jean-Michel Hua, Directeur adjoint des opérations de Free. Un panel d'expert interrogé à l'occasion de l'événement LesBigBoss Expérience et Relation Clients, le 21 avril 2023.Les épisodes de Culture Numérique sont disponibles sur Siècle Digital et les plateformes de streaming. Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Talk Sapiens - La Tribune
Quiet quitting : des clefs pour comprendre

Talk Sapiens - La Tribune

Play Episode Listen Later Mar 9, 2023 57:25


De nombreux articles sont consacrés au quiet quitting, ou démission silencieuse. Les salariés concernés ne quittent pas concrètement leur travail, mais préfèrent rester en poste en se contentant d'effectuer le strict minimum.… Comment analyser ce nouveau mode de fonctionnement de l'activité salariale post Covid, en particulier dans les grands groupes ? Est-ce un épiphénomène ou une tendance durable, conséquence des bouleversements qui impactent l'organisation du travail ? Quelle solutions actionner pour motiver, donner du sens, engager ? Pour y répondre, nous avons échangé avec Sébastien Olléon, consultant indépendant et directeur de programme au CEDEP, spécialiste de l'analyse sociologique des organisations et de la gestion de projets de transformation complexes. https://www.cedep.fr/fr/faculty-speaker/sebastien-olleon/ Ce Café Sapiens a été animé par Raphaël Krivine.

Talk Sapiens - La Tribune
Transformation digitale, promesses du web3… un avenir souhaitable ?

Talk Sapiens - La Tribune

Play Episode Listen Later Jan 23, 2023 54:15


Cyberspace, cybercapitalisme, cyber surveillance, cyber consommateur… A l'heure où l'on ne peut plus distinguer les technologies de soi-même, où la toute puissance des GAFAM pourrait être challengée par une logique de décentralisation du web3 et de l'empowerment des créateurs, où il y a une prise de conscience du « Si c'est gratuit, c'est vous le produit », deux spécialistes sont venues exposer leurs thèses développées dans leurs essais qui viennent de paraître. Caroline Faillet, consultante et cofondatrice d'Opinion, auteur de « Web3, la nouvelle guerre digitale » et Charleyne Biondi, experte en analyse des politiques publiques dans le domaine digital, auteur de « Dé-coder une contre-histoire du numérique » ont échangé leurs constats et points de vue sur les impacts sociétaux de la transformation digitale en mouvement. Ce Visio Café Sapiens a été animé par Raphaël Krivine, expert en relation client. https://www.carolinefaillet.com/ https://twitter.com/catchthewhistle https://www.babelio.com/livres/Biondi-De-coder/1436117

Talk Sapiens - La Tribune
Métavers, web 3.0 : effet durable ou éphémère ?

Talk Sapiens - La Tribune

Play Episode Listen Later Oct 7, 2022 54:24


Métavers, web 3.0, NFT… Après les cryptomonnaies et la blockchain, ce sont les buzzwords du moment. Philippe Rodriguez, banquier d'affaire spécialisé dans la crypto économie, auteur d'un premier ouvrage sur la révolution Blockchain, publie le 5 octobre un nouvel essai chez Dunod : La Révolution Metavers. Nous avons exploré avec lui ces nouveaux concepts et essayé d'identifier les nouveaux usages issus de ces technologies prometteuses. Ce Visio Café Sapiens s'est déroulé jeudi 6 octobre et a été animé par Raphaël Krivine, expert en expérience client. Pour acheter le livre de P. Rodriguez : www.dunod.com/entreprise-et-economie/revolution-metavers-defi-nouvelle-frontiere-d-internet

Talk Sapiens - La Tribune
Humour Dans Les Entreprises La Compétence À Développer En 2022

Talk Sapiens - La Tribune

Play Episode Listen Later Jul 27, 2022 69:15


Et si l'humour était l'arme ultime de l'intelligence émotionnelle ? Pourquoi favoriser l'humour dans des organisations, souvent en pleine transformation digitale ? En pratique, comment s'y prendre ? Peut-on faire de l'humour sur tout en entreprise en 2022 ? Autant de questions que nous avons posé à nos 3 invités : Dr Vanessa Marcié, fondatrice de Leading With Humour, coach et conférencière, Cyrille de Lasteyrie, alias Vinvin, auteur, producteur et bloggeur, et Fix, dessinateur humoristique et auteur de BD, inspiré par le quotidien au travail. Ce Visio Café Sapiens s'est déroulé jeudi 2 juin, sur Zoom et était animé par Raphaël Krivine, cadre dirigeant de banque et lui-même adepte de l'humour sur LinkedIn au travers de posts et de vlogs. https://drvanessamarcie.com/ https://www.fix-dessinateur.com/ https://twitter.com/Vinvin

Creative Characters
Andrew Krivine and Michael Worthington

Creative Characters

Play Episode Listen Later Jun 28, 2022 55:26


Get ready for a dive into punk rock history! This week's we're welcoming Andrew Krivine, author and punk rock collector, alongside Michael Worthington, faculty at CalArts and co-founder of Counterspace. The creative duo is here to tell the tale of how they co-created the largest exhibition of punk and new wave graphics ever shown on the West Coast.    Visit the "Torn Apart" exhibit at the PDC Design Gallery until September 8. For more information, check out the PDC Design Gallery on IG and the exhibit website. To see more of Andrew's work, view his collection of published books.

Original.e
Sentinelles : retrouvez Yannick Choirat et Birane Ba dès ce soir sur OCS

Original.e

Play Episode Listen Later Apr 5, 2022


La semaine dernière, on vous présentait la nouvelle création OCS, Sentinelles, vu par ses co-créateurs Thibault Valetoux et Frédéric Krivine, cette fois-ci ce sont les acteurs Yannick Choirat et Birane Ba qui vous parlent de la série. Ils interprètent Philippe Lefort et Martial Mendy, l'un étant le chef de garnison de cette unité basé dans le Mopti, et le second l'un de ses bras droits. https://youtu.be/eFvx4sGn9SU Présentée en avant-première à Séries Mania, le drame de guerre d'OCS avait su faire l'unanimité. Grâce notamment aux personnages forts qui représentent l'engagement pour une cause et le mystère autour de l'opération Barkhane. Qu'on adhère ou non à la cause, le devoir prime. Ces personnages ont permis à Yannick Choirat et Birane Ba de découvrir un autre monde, celui des soldats dont le quotidien est accaparé par cette peur de mourir à tout moment.

BetaSeries La Radio
Sentinelles : retrouvez Yannick Choirat et Birane Ba dès ce soir sur OCS

BetaSeries La Radio

Play Episode Listen Later Apr 5, 2022


La semaine dernière, on vous présentait la nouvelle création OCS, Sentinelles, vu par ses co-créateurs Thibault Valetoux et Frédéric Krivine, cette fois-ci ce sont les acteurs Yannick Choirat et Birane Ba qui vous parlent de la série. Ils interprètent Philippe Lefort et Martial Mendy, l'un étant le chef de garnison de cette unité basé dans le Mopti, et le second l'un de ses bras droits. https://youtu.be/eFvx4sGn9SU Présentée en avant-première à Séries Mania, le drame de guerre d'OCS avait su faire l'unanimité. Grâce notamment aux personnages forts qui représentent l'engagement pour une cause et le mystère autour de l'opération Barkhane. Qu'on adhère ou non à la cause, le devoir prime. Ces personnages ont permis à Yannick Choirat et Birane Ba de découvrir un autre monde, celui des soldats dont le quotidien est accaparé par cette peur de mourir à tout moment.

Talk Sapiens - La Tribune
Data et IA : les clés de la compétitivité

Talk Sapiens - La Tribune

Play Episode Listen Later Mar 30, 2022 57:15


La « Data » a été identifiée comme le nouvel or noir du XXIe siècle. Au-delà du discours ambiant, face à la toute-puissance des GAFA, comment poursuivre la révolution numérique avec méthode et inspiration pour que les données tiennent toutes leurs promesses ? Comment créer de la valeur grâce aux data en transformant sa stratégie marketing ? Comment concilier exploitation des data avec une éthique de la confiance ? Comment construire une politique de souveraineté des données? Deux experts reconnus, auteurs d'essais parus en 2021, viendront nous apporter leurs éclairages : Mick Lévy Directeur de l'Innovation chez Business & Decision, auteur de « Sortez vos données du frigo, une entreprise performante avec la data et l'IA » (Dunod) et Marco Tinelli, cofondateur du Groupe RedPill, auteur de « Marketing plateformisé, l'IA et la Data au service de la précision de masse » (Eyrolles). Ce petit-déjeuner s'est déroulé jeudi 24 mars et a été animé par Raphaël Krivine, expert en expérience client. Marco Tinelli : https://www.ermes.ai/ Marc Lévy : http://fr.blog.businessdecision.com/

Chronique des médias
Retour vers le «réel» à Séries Mania

Chronique des médias

Play Episode Listen Later Mar 25, 2022 2:44


Séries Mania, le plus grand festival de séries en Europe, s'est terminé ce vendredi 25 mars en montrant quelques pépites et tendances autour d'un axe fort : le retour vers le réel. Comme pour En thérapie, la série psy aux 53 millions de vidéos vues sur Arte.tv, il y a dans le monde des séries une première et une deuxième saison, comme il y a un avant et un après Covid. En Thérapie saison 2 évoque ainsi un monde en sortie de confinement, avec la crise sanitaire en toile de fond. La série sera visible le 31 mars d'abord sur la plateforme Arte.tv puis, à partir du 7 avril, sur la chaîne Arte, signe d'un ordre des priorités qui a changé. L'impact de la crise sanitaire À en juger par le catalogue présenté à Lille, à Séries Mania, la pandémie n'est pas une obsession des scénaristes. Mais le réel, si !  Dans Station Eleven, on retrouve bien une épidémie apocalyptique sur HBO Max, mais c'est l'histoire des survivants d'une grippe dévastatrice. Un peu comme si les auteurs rechignaient à traiter du Covid auquel on souhaite tous échapper. Côté séries médicales, on retrouve sur Canal+ un médecin plein d'humour avec Ben Wishow, dans This is going to hurt, d'Adam Kay pour la BBC, mais contrairement à Docteur House, c'est un toubib qui se plante et pleure dans les vestiaires. Surtout, il lutte contre le sommeil pour répondre aux urgences sans fin de l'hôpital public britannique. La réalité dépasse la fiction et la fiction s'inspire plus que jamais de la réalité. On le voit avec la série Drôle de Fanny Herrero, la réalisatrice de Dix pour cent, sur le monde du stand-up. Mais aussi dès le 5 avril sur OCS avec Sentinelles qui traite de l'opération Barkhane. Les auteurs d'Un Village français, Thibault Valetoux et Frédéric Krivine, suivent le quotidien de jeunes soldats français traquant les terroristes islamistes au Mali. Fiction-réalité Une étude de Glance/Nota a montré que ces dernières années, les grands succès s'appellent Callboys sur des gigolos en Belgique, Matar al padre qui questionne la masculinité, Taxi drivers, une série coréenne sur une société secrète qui veut corriger l'injustice sociale ou encore la brésilienne Aruanas, qui montre des activistes écolos en lutte avec une compagnie minière en Amazonie. En Colombie, la prometteuse Turbia s'intéresse à la partition d'une ville entre riches qui ont accès à l'eau et les pauvres qui en sont privés. On peut aussi citer l'histoire vraie sur Disney+ de Malik Oussekine, mort en France après une manifestation en 1986. Ou Le Monde de demain sur la naissance du groupe de Rap NTM avec Joey Star sur Arte et Netflix. Mais parmi les découvertes de Séries Mania sur la fiction-réalité, une remarquable production s'annonce avec The Report, la série allemande de Ben Von Rönne qui raconte les six premiers mois d'enquête après l'assassinat au Liban de Rafik Hariri en 2005.

Les lectures de Mediapart
[EXTRAIT] - Alain Krivine, un intègre en révolution

Les lectures de Mediapart

Play Episode Listen Later Mar 14, 2022 1:10


Cliquez ici pour accéder gratuitement aux articles lus de Mediapart : https://m.audiomeans.fr/s/P-UmoTbNLs Avec le décès d'Alain Krivine, le 12 mars, à 80 ans, s'en va la dernière figure militante de Mai-68 restée fidèle à ses révoltes de jeunesse, mêlant anti-impérialisme, anti-stalinisme et anticapitalisme. Sa personnalité ajoutait à cette fidélité une évidente intégrité, à rebours des ambitions de pouvoir et des sectarismes de parti. Un article d'Edwy Plenel publié dimanche 13 mars 2022, lu par Jeremy Zylberberg.

Flashback, une série Decriiipt
#29 - Le Love Brand Score, un nouvel indicateur ? (Raphaël Krivine - AXA Banque)

Flashback, une série Decriiipt

Play Episode Listen Later Nov 10, 2021 5:33


Directeur des opérations et relation client d'AXA Banque, Raphaël Krivine a accepté de prendre le micro de Flashback pour échanger avec nous au sujet de la relation client.  Il a rejoint AXA en 2008, où il a été directeur de l'Épargne au sein de Direct Assurance puis directeur Internet et multi-accès d'AXA France, avant de prendre en charge la direction digitale d'AXA Banque et la direction de Soon, l'offre expérimentale de banque « mobile only ».  Très utile pour orienter les plans d'action du NPS, Raphaël a évoqué dans une tribune le Love Brand Score. Il nous explique cette notion et la définit comme l'attachement qu'on garde d'un lieu, d'une expérience et pour lesquels on est prêt à faire des “efforts” pour réitérer l'expérience. Pour donner encore plus de précision, il relie ça à l'image de la Madeleine de Proust. Dans l'épisode entier, nous parlons également avec lui de la nouvelle ère de la relation client, personnalisation et empathie, et justement de l'avenir de ce métier. Enfin, il nous livre ce qu'il met en place pour motiver ses équipes. 

Flashback, une série Decriiipt
#29 - Parler d'humain dans la relation client, c'est bullshit ? (Raphaël Krivine - AXA Banque)

Flashback, une série Decriiipt

Play Episode Listen Later Nov 9, 2021 10:46


Directeur des opérations et relation client d'AXA Banque, Raphaël Krivine a accepté de prendre le micro de Flashback pour échanger avec nous au sujet de la relation client.  Il a rejoint AXA en 2008, où il a été directeur de l'Épargne au sein de Direct Assurance puis directeur Internet et multi-accès d'AXA France, avant de prendre en charge la direction digitale d'AXA Banque et la direction de Soon, l'offre expérimentale de banque « mobile only ».  Suite à des critiques de certains client·e·s, il nous raconte pourquoi et comment il a décidé avec ses équipes d'opter pour un discours plus naturel. Un discours plus cohérent avec la situation à l'instant T du client, tout en restant authentique. Après l'ère des scripts et des standards, la relation client s'inscrit dans une ère de personnalisation et d'empathie. Raphaël nous explique qu'il existe des formations, comme pour la gestion de conflits, mais que la priorité est surtout de miser sur l'écoute.  “Il faut que les conseiller·ère·s soient des acteurs de l'entretien.” Il nous confie ce qui est pour lui est un très bon centre de relation client. Le plus difficile pour lui dans son métier : le recrutement et savoir gérer la frustration. Pour Raphaël Krivine, l'outil magique est le “speech analytics”. Parfait, selon lui, pour analyser les discours et repérer les mots-clés, mais qui pose des limites éthiques. On aborde également avec lui l'avenir de la relation client : bot, ticketing, relation client en visio, … Dans l'épisode entier, Raphaël revient sur le Love Brand Score, son idée de nouvel indicateur pour permettre de mesurer l'attachement des clients à un lieu, une marque, … Nous parlons également de la nouvelle ère de la relation client, personnalisation et empathie, et justement de l'avenir de ce métier. Enfin, il nous livre ce qu'il met en place pour motiver ses équipes. 

Flashback, une série Decriiipt
#29 - Comment motiver des équipes constamment au contact avec les clients ? (Raphaël Krivine - AXA Banque)

Flashback, une série Decriiipt

Play Episode Listen Later Nov 8, 2021 6:28


Directeur des opérations et relation client d'AXA Banque, Raphaël Krivine a accepté de prendre le micro de Flashback pour échanger avec nous au sujet de la relation client.  Il a rejoint AXA en 2008, où il a été directeur de l'Épargne au sein de Direct Assurance puis directeur Internet et multi-accès d'AXA France, avant de prendre en charge la direction digitale d'AXA Banque et la direction de Soon, l'offre expérimentale de banque « mobile only ».  On revient avec lui sur cette notion d'authenticité mais cette fois-ci d'un point de vue management. Pour lui, cela commence par le haut de l'escalier. C'est à l'équipe de management de montrer l'exemple et de favoriser l'expression. Le métier de conseiller est un métier avec beaucoup de contraintes. Raphaël précise que c'est aussi un métier où il est possible de retirer beaucoup de satisfaction personnelle. “A la fin de la journée, on sait qu'on a aidé des personnes.” Chez AXA Banque, des parcours d'expertise sont mis en place pour les collaborateur·trice·s. Toutes les passerelles sont également ouvertes vers les autres métiers, vers les autres pôles. Tout cela dans un seul objectif : valoriser le travail de ses collaborateur·trice·s. Dans l'épisode entier, Raphaël revient sur le Love Brand Score, son idée de nouvel indicateur pour permettre de mesurer l'attachement des clients à un lieu, une marque, … Nous parlons également de la nouvelle ère de la relation client, personnalisation et empathie, et justement de l'avenir de ce métier. 

Flashback, une série Decriiipt
#29 - FULL - Intégrer la dimension émotionnelle à la relation client (Raphaël Krivine - AXA Banque)

Flashback, une série Decriiipt

Play Episode Listen Later Nov 3, 2021 46:26


Dans cet épisode, vous allez découvrir le quotidien professionnel de Raphaël Krivine. Directeur des opérations et relation client d'AXA Banque, il a accepté de prendre le micro de Flashback pour échanger avec nous au sujet de la relation client. Il a rejoint AXA en 2008, où il a été directeur de l'Épargne au sein de Direct Assurance puis directeur Internet et multi-accès d'AXA France, avant de prendre en charge la direction digitale d'AXA Banque et la direction de Soon, l'offre expérimentale de banque "mobile only". Dans cet épisode, Raphaël revient sur le Love Brand Score, son idée de nouvel indicateur pour permettre de mesurer l'attachement des clients à un lieu, une marque, … Nous parlons également de la nouvelle ère de la relation client, personnalisation et empathie, et justement de l'avenir de ce métier. Enfin, il nous livre ce qu'il met en place pour motiver ses équipes.  Allez, Flashback, avec Raphaël Krivine c'est parti !  Partie 1 - Le Love Brand Score, un nouvel indicateur ? Raphaël Krivine nous confie n'avoir aucun souvenir de son premier jour chez AXA. Mais il se souvient très bien du mois précédant son arrivée chez le leader de l'assurance. Une réunion devant 80 dirigeant·e·s, qui a marqué bien des esprits. Directeur des opérations et relation client de AXA Banque, il nous détaille son métier et son quotidien. Il fait partie de la grande famille du digital puisque AXA Banque est une banque à distance, où la grande majorité des transactions se font via l'application ou le site Internet.  Son équipe est composée d'une centaine de personnes. Il nous confie avec le sourire qu'il sait pourquoi il se lève le matin.  Très utile pour orienter les plans d'action du NPS, Raphaël a évoqué dans une tribune le Love Brand Score. Il nous explique cette notion et la définit comme l'attachement qu'on garde d'un lieu, d'une expérience et pour lesquels on est prêt à faire des “efforts” pour réitérer l'expérience. Pour donner encore plus de précision, il relie ça à l'image de la Madeleine de Proust. Partie 2 - Parler d'humain dans la relation client, c'est bullshit ? Suite à des critiques de certains client·e·s, il nous raconte pourquoi et comment il a décidé avec ses équipes d'opter pour un discours plus naturel. Un discours plus cohérent avec la situation à l'instant T du client, tout en restant authentique. Après l'ère des scripts et des standards, la relation client s'inscrit dans une ère de personnalisation et d'empathie. Raphaël nous explique qu'il existe des formations, comme pour la gestion de conflits, mais que la priorité est surtout de miser sur l'écoute.  Il nous confie ce qui est pour lui est un très bon centre de relation client. Le plus difficile pour lui dans son métier : le recrutement et savoir gérer la frustration. Pour Raphaël Krivine, l'outil magique est le “speech analytics”. Parfait, selon lui, pour analyser les discours et repérer les mots-clés, mais qui pose des limites éthiques. On aborde également avec lui l'avenir de la relation client : bot, ticketing, relation client en visio, ... Partie 3 - Comment motiver des équipes constamment au contact avec les clients ? On revient avec lui sur cette notion d'authenticité mais cette fois-ci d'un point de vue management. Pour lui, cela commence par le haut de l'escalier. C'est à l'équipe de management de montrer l'exemple et de favoriser l'expression. Le métier de conseiller est un métier avec beaucoup de contraintes. Raphaël précise que c'est aussi un métier où il est possible de retirer beaucoup de satisfaction personnelle.  Chez AXA Banque, des parcours d'expertise sont mis en place pour les collaborateur·trice·s. Toutes les passerelles sont également ouvertes vers les autres métiers, vers les autres pôles. Tout cela dans un seul objectif : valoriser le travail de ses collaborateur·trice·s. 

Histoire en séries
82 Un village français avec Marjolaine Boutet

Histoire en séries

Play Episode Listen Later Mar 9, 2021 76:56


Marjolaine BOUTET est maîtresse de conférences en Histoire contemporaine à l'Université de Picardie-Jules Verne, spécialiste des séries TV et des représentations de la guerre. Elle est l'auteure de Les Séries Télé pour les Nuls (PUF, 2009), Sériescopie : guide thématique des séries télé (avec Pierre Sérisier et Joël Bassaget, Ellipses, 2011), Vampires : au-delà du mythe (Ellipses, 2011), Cold Case : la mélodie du passé (PUF, 2013), La bataille de la Somme : l'hécatombe oubliée (avec Philippe Nivet, Tallandier, 2016) et Un Village français : une histoire de l'Occupation (La Martinière, 2017). Elle chronique les séries télévisées pour le magazine Phosphore et dans l'émission Une heure en séries sur France Inter, et elle est membre des comités éditoriaux des revues TV/Series, Le Temps des Médias et Saisons. Elle présente ici la série UN VILLAGE FRANCAIS proposée par Frédéric Krivine avec l'aide de Jean Pierre Azéma. Elle propose un tour d'horizon des principaux personnage puis évoque les grands thèmes de l'occupation lors de la Seconde Guerre mondiale : collaboration, accommodement, résistance, rafles des juifs, libération, épuration sont traitées tout au long des 7 saisons autour du village fictif de Villeneuve. Plus d'infos sur https://www.histoireenseries.com

Culture en direct
Emmanuel Krivine : "si nous allions à la musique comme on va à l'eau, tout se passerait mieux"

Culture en direct

Play Episode Listen Later Mar 23, 2020 26:39


durée : 00:26:39 - La Grande table culture - par : Olivia Gesbert, Claire Mayot - Le chef d'orchestre Emmanuel Krivine dirigeait l'Orchestre National de France le 12 janvier 2017. Celui pour qui un chef, sans instrument donc, se doit d'être une oreille témoin "désirante", était notre invité à cette occasion. - réalisation : Peire Legras, Luc-Jean Reynaud - invités : Emmanuel Krivine Chef d'orchestre, nouveau directeur de l'Orchestre national de France

france va tout comme musique mieux celui la grande la musique l'eau l'orchestre krivine l'orchestre national olivia gesbert emmanuel krivine luc jean reynaud peire legras
France Culture physique
Emmanuel Krivine : "si nous allions à la musique comme on va à l'eau, tout se passerait mieux"

France Culture physique

Play Episode Listen Later Mar 23, 2020 26:39


durée : 00:26:39 - La Grande table culture - par : Olivia Gesbert, Claire Mayot - Le chef d'orchestre Emmanuel Krivine dirigeait l'Orchestre National de France le 12 janvier 2017. Celui pour qui un chef, sans instrument donc, se doit d'être une oreille témoin "désirante", était notre invité à cette occasion. - réalisation : Peire Legras, Luc-Jean Reynaud - invités : Emmanuel Krivine Chef d'orchestre, nouveau directeur de l'Orchestre national de France

france va tout comme musique mieux celui la grande la musique l'eau l'orchestre krivine l'orchestre national olivia gesbert emmanuel krivine luc jean reynaud peire legras
MDR
Bienvenue chez les Confiné·e·s

MDR

Play Episode Listen Later Mar 23, 2020 36:35


Besoin d’inspiration pour apprendre à gérer cette étrange période où tout le monde est « assujetti à résidence » ? Le réalisateur prophète Eric Judor avait tout prévu. L’apocalypse est proche et c’est l’occasion de regarder ou re-re-regarder « Problemos » et « Seuls Two » deux films qui commencent dangereusement à ressembler à la réalité. Côté vie domestique, « Tanguy » est l’occasion pour les jeunes parents qui se retrouvent confinés avec leurs enfants de réaliser une chose… le plus dur est à venir. Pour les fumeur·euses invétéré·e·s qui ont eu peur que les tabacs ferment, il est temps de regarder « Le Pari » pour apprendre à gérer ses vices et ses frustrations. En définitive, pas besoin de sortir de chez soi pour rire aux éclats.Animé par Daniel Andreyev avec Perrine Quennesson et Max Besnard.RECOMMANDATIONS ET COUPS DE CŒURLA RECO DE MAX : Les saisons 1 et 2 d’« Importantissime », la web-série de Chris Esquerre disponible sur youtube qui parodie la mécanique d’un JT télé.LA RECO DE PERRINE : Un série drôle et émouvante sur les relations parfois envahissantes et le besoin d’intimité, « Une belle histoire » de Frédéric Krivine et Emmanuel Daucé sur France Télé.LA RECO DE DANIEL : L’ultime film de croisière « Bienvenue à bord » d’Éric Lavaine, un des meilleurs films de Frank Dubosc. CRÉDITSWe Love MDR est un podcast de We Love Cinema proposé par Goom (Go on media). Directeur des contenus : Omar Erraïs. Cet épisode a été enregistré le 18 mars 2020 au studio V. Despentes de Binge Audio (Paris, 19e). Prise de son et réalisation : Mathieu Thèvenon. Chargé d’édition : Dimitri Mayeur. Chargée de production : Albane Fily. Générique : Corentin Kerdraon. Production déléguée : Binge Audio. Direction de production : Joël Ronez. Voir Acast.com/privacy pour les informations sur la vie privée et l'opt-out.

production direction bienvenue chez directeur prise besoin anim charg voir acast france t tanguy binge audio despentes ronez problemos eric judor krivine daniel andreyev binge audio paris perrine quennesson dimitri mayeur chris esquerre max besnard corentin kerdraon
Info médias
C’est un beau roman, c’est "Une belle histoire" sur France 2

Info médias

Play Episode Listen Later Mar 11, 2020 7:30


durée : 00:07:30 - Info médias - Après "Un village français", qui décrivait le quotidien sous l’Occupation, Frédéric Krivine explore la vie conjugale.

Relax !
Relax! en compagnie d'Emmanuel Krivine

Relax !

Play Episode Listen Later Mar 3, 2020 119:10


durée : 01:59:10 - invité : Emmanuel Krivine, directeur musical de l'Orchestre National de France - par : Lionel Esparza - Nous avons le plaisir de recevoir l'actuel directeur musical de l'Orchestre national de France, Emmanuel Krivine. Et notre légende du jour est le concert du Nouvel An enregistré le 1er janvier 1989 à Vienne par l'Orchestre philharmonique de Vienne et le chef d'orchestre autrichien Carlos Kleiber. - réalisé par : Antoine Courtin

france relax compagnie vienne d'emmanuel l'orchestre carlos kleiber krivine l'orchestre national antoine courtin emmanuel krivine
Musique matin
Emmanuel Krivine : d'une saison l'autre

Musique matin

Play Episode Listen Later Jun 4, 2019 119:54


durée : 01:59:54 - Musique matin du mardi 04 juin 2019 - par : Saskia De Ville - Le Directeur musical de l'Orchestre National de France présente les temps fort de la saison à venir. Au programme, la poursuite du cycle Berlioz en compagnie de Riccardo Muti ainsi que la célébration du 250e anniversaire de Beethoven avec un focus sur les oeuvres de jeunesse du compositeur. - réalisé par : Yassine Bouzar

france dune saison ludwig van beethoven musique l'autre berlioz riccardo muti krivine l'orchestre national emmanuel krivine yassine bouzar
Classic Club
Aimez-vous Brahms ? Avec le Quatuor Zaïde et Emmanuel Krivine

Classic Club

Play Episode Listen Later Apr 23, 2019 59:41


durée : 00:59:41 - Aimez-vous Brahms ? - par : Lionel Esparza - Le Quatuor Zaïde et le chef d'orchestre Emmanuel Krivine sont les invités du Classic Club, c'est ce soir en direct et en public depuis l'Hôtel Bedford à Paris - réalisé par : Antoine Courtin

bedford brahms l'h aimez quatuor krivine classic club aimez-vous antoine courtin emmanuel krivine
Timpani
Rencontre avec le compositeur Ivo Malec

Timpani

Play Episode Listen Later Feb 4, 2009 41:43


Timpani
Rencontre avec le compositeur Ivo Malec

Timpani

Play Episode Listen Later Feb 4, 2009 41:43


Fakultät für Mathematik, Informatik und Statistik - Digitale Hochschulschriften der LMU - Teil 01/02
On Extensions of AF2 with Monotone and Clausular (Co)inductive Definitions

Fakultät für Mathematik, Informatik und Statistik - Digitale Hochschulschriften der LMU - Teil 01/02

Play Episode Listen Later Nov 12, 2004


This thesis discusses some extensions of second-order logic AF2 with primitive constructors representing least and greatest fixed points of monotone operators, which allow to define predicates by induction and coinduction. Though the expressive power of second-order logic has been well-known for a long time and suffices to define (co)inductive predicates by means of its (co)induction principles, it is more user-friendly to have a direct way of defining predicates inductively. Moreover recent applications in computer science oblige to consider also coinductive definitions useful for handling infinite objects, the most prominent example being the data type of streams or infinite lists. Main features of our approach are the use clauses in the (co)inductive definition mechanism, concept which simplifies the syntactic shape of the predicates, as well as the inclusion of not only (co)iteration but also primitive (co)recursion principles and in the case of coinductive definitions an inversion principle. For sake of generality we consider full monotone, and not only positive definitions, after all positivity is only used to ensure monotonicity. Working towards practical use of our systems we give them realizability interpretations where the systems of realizers are strongly normalizing extensions of the second-order polymorphic lambda calculus, system F in Curry-style, with (co)inductive types corresponding directly to the logical systems via the Curry-Howard correspondence. Such realizability interpretations are therefore not reductive: the definition of realizability for a (co)inductive definition is again a (co)inductive definition. As main application of realizability we extend the so-called programming-with-proofs paradigm of Krivine and Parigot to our logics, by means of which a correct program of the lambda calculus can be extracted from a proof in the logic.

curry definitions extensions inductive monotone ddc:500 krivine af2 curry howard ddc:510 informatik und statistik