Login / Signup

Intersection Types and lambda-Definability.

Antonio BucciarelliAdolfo PipernoIvano Salvo
Published in: Math. Struct. Comput. Sci. (2003)
Keyphrases
  • fixed point
  • decision making
  • image processing
  • artificial neural networks
  • propositional logic