Search results
Appearance
There is a page named "Mariangiola Dezani-Ciancaglini" on Wikipedia
- Mariangiola Dezani-Ciancaglini (born 22 December 1946) is an Italian logician and theoretical computer scientist whose research topics include type theory...3 KB (274 words) - 14:05, 12 January 2023
- intersection type discipline was pioneered by Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé, and Garrel Pottinger. The underlying motivation...16 KB (2,302 words) - 06:27, 11 January 2024
- Institutions University of Rome "La Sapienza" Doctoral advisor Eduard Stiefel Paul Bernays Doctoral students Giorgio Ausiello Mariangiola Dezani-Ciancaglini...5 KB (480 words) - 14:49, 19 July 2024
- mathematician, author of books on figurate numbers and metric spaces Mariangiola Dezani-Ciancaglini (born 1946), Italian expert on type theory, lambda calculus...191 KB (22,701 words) - 16:21, 19 August 2024
- Society Press. pp. 227–236. Hurkens, Antonius J. C. (1995). Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon (eds.). A simplification of Girard's paradox...6 KB (719 words) - 04:14, 10 August 2024
- Wilfried Brauer 2014 Artur Czumaj 2015 Pierpaolo Degano 2020 Mariangiola Dezani-Ciancaglini 2015 Josep Diaz 2017 Herbert Edelsbrunner 2014 Zoltán Ésik 2016...9 KB (535 words) - 08:53, 19 March 2024
- is not kept at term level. Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola (1983). "A filter lambda model and the completeness of type...25 KB (2,388 words) - 12:27, 20 November 2023
- Calculus and Types" (PDF). p. 6. Retrieved 14 January 2022. Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia (2014). "Preciseness of Subtyping on Intersection...86 KB (11,552 words) - 12:44, 14 August 2024