Login / Signup

Bottom-up beta-reduction: Uplinks and lambda-DAGs.

Olin ShiversMitchell Wand
Published in: Fundam. Informaticae (2010)
Keyphrases
  • directed acyclic graph
  • belief networks
  • data driven
  • data sets
  • search engine
  • fixed point
  • reduction method