Login / Signup

Retractions in Intersection Types.

Mario CoppoMariangiola Dezani-CiancagliniAlejandro Díaz-CaroInes MargariaMaddalena Zacchi
Published in: ITRS (2016)
Keyphrases
  • artificial intelligence
  • neural network
  • data mining
  • genetic algorithm
  • computer vision