Login / Signup

The Coherence of Languages with Intersection Types.

John C. Reynolds
Published in: TACS (1991)
Keyphrases
  • databases
  • artificial intelligence
  • expressive power
  • real time
  • knowledge base
  • neural network
  • feature selection
  • image processing
  • case study
  • multiscale
  • cross lingual