Krivine is a surname. Notable people with the surname include:
Alain Krivine (1941–2022), French politician
Emmanuel Krivine (born 1947), French conductor
Jean-Louis Krivine (born 1939), French Mathematician, inventor of the Krivine machine
Alain, Emmanuel, and Jean-Louis Krivine belongs to the Krivine family [fr]
Surname list
This page lists people with the surname Krivine. If an internal link intending to refer to a specific person led you to this page, you may wish to change that link by adding the person's given name(s) to the link.
Krivine is a surname. Notable people with the surname include: Alain Krivine (1941–2022), French politician Emmanuel Krivine (born 1947), French conductor...
Alain Krivine (French: [a.lɛ̃ kʁi.vin]; 10 July 1941 – 12 March 2022) was a French Trotskyist leader. Krivine was born in July 1941 in Paris, France,...
In theoretical computer science, the Krivine machine is an abstract machine (sometimes called virtual machine). As an abstract machine, it shares features...
Emmanuel Krivine (born 7 May 1947, Grenoble) is a French conductor. The son of a Polish mother and a Russian father, Krivine studied the violin as a youth...
Michel Rocard and Alain Krivine stood as candidates expressing the ideas of the May 1968 movements, though the Trotskyist Krivine took a far more radical...
been on lazy (or call-by-need) evaluation, such as the G-machine (1984), Krivine machine (1985), and Three Instruction Machine (1986), in which function...
Lambda Calculus – A semi-fictional organization of LISP and Scheme hackers Krivine machine – An abstract machine to interpret call-by-name in lambda calculus...
Archived from the original on 6 October 2018. Retrieved 6 October 2018. Krivine, Boris (2 December 2015). "Хабиб Нурмагомедов: 'Перестал Драться На Улице...
Jansons, Herbert von Karajan, Dmitri Kitaenko, Jan Latham-Koenig, Emmanuel Krivine, James Levine, Sir Andrew Davis, Lorin Maazel, Zubin Mehta, Riccardo Muti...
2006. The OPL appointed Emmanuel Krivine as their music director starting from the 2005–2006 season. In May 2009, Krivine extended his contract with the...
Rumon Gamba, and the Orchestre Philharmonique du Luxembourg under Emmanuel Krivine, as well as in recitals throughout Belgium. He was also given a three-year...
2016–2017 season. Krivine had been scheduled to stand down as ONF music director at the close of the 2020-2021 season. However, in May 2020, Krivine resigned from...
be sup d K G R ( d ) {\displaystyle \sup _{d}K_{G}^{\mathbb {R} }(d)} . Krivine (1979) improved the result by proving that K G R ≤ π 2 ln ( 1 + 2 ) ≈...
Con Brio 2009–2012 Succeeded by Willem de Bordes Preceded by Emmanuel Krivine Principal Conductor, Luxembourg Philharmonic Orchestra 2015–present Succeeded by...
selling fetish wear and Westwood's innovative designs. Acme's owner, John Krivine, decided to venture into clothing with Steph Raynor. In 1974, Acme Attractions...
organisations and personalities in France, where he was born, including Alain Krivine and Pierre Vidal-Naquet. However, on May 3, 2007, his conviction and those...
user friendly proof checker using the type system developed by Jean-Louis Krivine at University Paris VII. It is meant to be more intuitive than other systems...
without assuming the existence of an inaccessible cardinal. In particular Krivine (1969) showed there was a model of ZFC in which every ordinal-definable...
Music Director, Orchestre National de Lyon 1971–1987 Succeeded by Emmanuel Krivine Preceded by Nicholas Carthy Principal Conductor, Orchestra della Svizzera...