-
Mariangiola Criscuolo (c. 1548–1630) was an
Italian painter of the
Renaissance period,
active mainly in her
native city of Naples. She is
known for portraiture...
-
Mariangiola Dezani-Ciancaglini (born 22
December 1946) is an
Italian logician and
theoretical computer scientist whose research topics include type theory...
- and Types" (PDF). p. 6.
Retrieved 14
January 2022. Dezani-Ciancaglini,
Mariangiola; Ghilezan,
Silvia (2014). "Preciseness of
Subtyping on
Intersection and...
-
Institutions University of Rome "La Sapienza"
Doctoral advisor Eduard Stiefel Paul
Bernays Doctoral students Giorgio Ausiello Mariangiola Dezani-Ciancaglini...
- Press. pp. 227–236. Hurkens,
Antonius J. C. (1995). Dezani-Ciancaglini,
Mariangiola; Plotkin,
Gordon (eds.). A
simplification of Girard's paradox. Second...
- polymorphism. The
intersection type
discipline was
pioneered by
Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Patrick Sallé, and
Garrel Pottinger. The underlying...
- His nephew,
Giovanni Antonio di
Amato the
younger married the
painter Mariangiola Criscuolo.
Another painter named Giovanni Antonio D’Amato was active...
-
engraver Giovanni Battista Ghisi. One of the
first female engravers.
Mariangiola Criscuolo (c.1548–1630) – painter,
daughter of
painter Giovanni Filippo...
- mathematician,
author of
books on
figurate numbers and
metric spaces Mariangiola Dezani-Ciancaglini (born 1946),
Italian expert on type theory, lambda...
- kept at term level. Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini,
Mariangiola (1983). "A
filter lambda model and the
completeness of type ****ignment"...
