-
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,...
-
Krivine is a surname.
Notable people with the
surname include:
Alain Krivine (1941–2022),
French politician Emmanuel Krivine (born 1947),
French conductor...
- the
Krivine machine is an
abstract machine. As an
abstract machine, it
shares features with
Turing machines and the SECD machine. The
Krivine machine...
- In real
algebraic geometry,
Krivine–Stengle
Positivstellensatz (German for "positive-locus-theorem")
characterizes polynomials that are
positive on a...
-
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...
- to gain
support for
their views. Its
official spokespersons were
Alain Krivine,
Roseline Vachetta, who are
former members of the
European Parliament,...
- 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...
-
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...
- Village) is a
French television drama series created by
chief writer Frédéric
Krivine and prin****l
director Philippe Triboit, with the ****istance of historical...
-
System F
Awards Poncelet Prize (1990) CNRS
Silver Medal (1983)
Scientific career Fields Logic Institutions CNRS
Doctoral advisor Jean-Louis
Krivine [fr]...