Furio Honsell (born 20 August 1958) is an Italian professor and mathematician, former mayor of Udine. Honsell received a mathematics degree at the University...
5 KB (390 words) - 04:20, 3 September 2024
system-reliability (PDF). Springer. ISBN 978-1-4020-0608-1. Robert Harper, Furio Honsell and Gordon Plotkin. A Framework For Defining Logics. Journal of the...
7 KB (965 words) - 21:53, 4 November 2023
Serbian National Assembly Aina Calvo, former Mayoress of Palma, Spain Furio Honsell, former mayor of Udine, Italy Giorgos Gerapetritis, Greek Minister of...
135 KB (12,683 words) - 02:01, 16 November 2024
Gusmani 1983-1992: Franco Frilli 1992-2001: Marzio Strassoldo 2001-2008: Furio Honsell 2008-2013: Cristiana Compagno 2013-2019: Alberto Felice De Toni 2019-current:...
4 KB (347 words) - 01:19, 17 November 2024
Giorgio Sonnino (Right) Sidney Sonnino (Right) Raffaele Bruno (M5S) Furio Honsell (PD, Art.1, Indep) Bonaventura Mazzarella (Left) Nicola Barbato (FS...
51 KB (2,852 words) - 13:00, 7 October 2024
Report)" Samson Abramsky, "Domain theory in Logical Form" Robert Harper, Furio Honsell, Gordon D. Plotkin, "A Framework for Defining Logics" Martin Abadi,...
6 KB (670 words) - 16:42, 28 October 2024
Ind LN • MF 1998 (9) 9 June 2003 27 April 2008 DS • DL • FdV 2003 10 Furio Honsell (b. 1958) 27 April 2008 7 May 2013 PD PD • SA • IdV and leftist lists...
7 KB (324 words) - 03:54, 1 September 2024
December 1998 – 27 April 2008 Preceded by Enzo Barazza Succeeded by Furio Honsell President of Friuli-Venezia Giulia In office 5 September 1995 – 28 April...
6 KB (448 words) - 17:10, 3 September 2024
Fontanini Mayor of Udine In office 14 May 2018 – 18 April 2023 Preceded by Furio Honsell Succeeded by Alberto Felice De Toni President of Friuli-Venezia Giulia...
6 KB (344 words) - 17:57, 2 September 2024
) 24,271 50.63% — — 20 / 32 [4] Friuli-Venezia Giulia Udine 99,242 Furio Honsell (Ind.) Pietro Fontanini (LSP) 18,619 41.49% 18,830 50.37% 24 / 40 [5]...
17 KB (348 words) - 12:44, 26 July 2024
York: Clarendon Press. pp. 1–32. ISBN 978-0-19-853862-2. Avron, Arnon; Honsell, Furio; Mason, Ian A.; Pollack, Robert (1992). "Using typed lambda calculus...
7 KB (541 words) - 16:26, 3 November 2024
Evaluation for Object Calculi". In Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (eds.). Types for Proofs and Programs. Lecture Notes in Computer Science...
4 KB (413 words) - 00:44, 22 April 2024
Fortunati, Leopoldina; Sarrica, Mauro; Ferrin, Giovanni; Brondi, Sonia; Honsell, Furio (2018). "Social robots as cultural objects: The sixth dimension of dynamicity...
31 KB (3,348 words) - 10:55, 10 November 2024