-
Mariangiola Dezani-Ciancaglini (born 22
December 1946) is an
Italian logician and
theoretical computer scientist whose research topics include type theory...
-
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...
-
Institutions University of Rome "La Sapienza"
Doctoral advisor Eduard Stiefel Paul
Bernays Doctoral students Giorgio Ausiello Mariangiola Dezani-Ciancaglini...
- and Types" (PDF). p. 6.
Retrieved 14
January 2022. Dezani-Ciancaglini,
Mariangiola; Ghilezan,
Silvia (2014). "Preciseness of
Subtyping on
Intersection and...
-
painter Giovanni Antonio d'Amato il vecchio; he
married the
painter Mariangiola Criscuolo. Upon his uncle's death, he
entered the
studio of Giovanni...
- Press. pp. 227–236. Hurkens,
Antonius J. C. (1995). Dezani-Ciancaglini,
Mariangiola; Plotkin,
Gordon (eds.). A
simplification of Girard's paradox. Second...
-
Perino del Vaga in Rome. His
brother Giovanni Angelico and
daughter Mariangiola were also painters. He
apparently wrote a
series of
biographies of Neapolitan...
-
Italian painter Kyle
Criscuolo (born 1992),
American ice
hockey player Mariangiola Criscuolo (c. 1548–1630),
Italian painter Roberto Criscuolo (born 1997)...
- c. 1560) Fede Galizia,
Italian painter (b. c. 1578)
unknown date –
Mariangiola Criscuolo,
Italian painter (b. c. 1548)
Theodore Schroeder, Constitutional...
- polymorphism. The
intersection type
discipline was
pioneered by
Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Patrick Sallé, and
Garrel Pottinger. The underlying...
