Login / Signup

Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P.

Jan Springintveld
Published in: TLCA (1993)
Keyphrases
  • lower and upper bounds
  • lower bound
  • upper bound
  • lower bounding
  • fixed point
  • upper and lower bounds
  • lambda calculus
  • lagrangian relaxation
  • neural network
  • real world
  • data mining
  • np hard