Military (Marshal of France) Commander-in-Chief of Allied Forces Benoit de Formel de la Laurencie France KBE 1940 Military (General) in recognition of distinguished... 203 KB (4,100 words) - 12:30, 9 May 2024 |
equational proof system in 1978–1984 with Jean-Marie Hullot. He led the Formel project in the 1980s, which developed the Caml programming language. He... 12 KB (1,112 words) - 12:21, 27 February 2024 |
The Washington Post, June 20, 1978, C1 Hannes Grassegger: Die Finkelstein Formel. Das Magazin Nr. 1/2, 12 Januar 2019, page 8–17 (Online). Appearances on... 104 KB (13,086 words) - 17:10, 15 April 2024 |