Lambda Definition and 102 Threads

  1. H

    Graduate Understanding Lambda Calculus and Its Role in Computer Science

    Hello, I have a simple question. When reducing a lambda expression what happens in this case: (L x.y) (L z.z) (L z.z) -> y (L z.z) right? How to interpret the variable y in front? Is that normal form, or can I reduce it to just: y Or is the expression ilegal? Thanks
  2. wolram

    Graduate Lambda interacts with gravity to give expantion

    it has been stated that lambda interacts with gravity to give expansion,can anyone give the" mechanics" of this interaction?