Login / Signup

Intersection, Universally Quantified, and Reference Types.

Mariangiola Dezani-CiancagliniPaola GianniniSimona Ronchi Della Rocca
Published in: CSL (2009)
Keyphrases
  • universally quantified
  • existentially quantified
  • machine learning
  • artificial intelligence
  • programming language