UP

Barendregt's Lambda Cube

  • cube
  • axes
  • faces
  • vertices
  • Lambdafun
  • Lambdauw
  • Lambda2
  • Lambda omega
  • Lamp
  • Lambdapuw
  • LambdaP2
  • Lambda P omega

    • HOME net links © RBJ
    created 1995/11/12
    modified 1999/9/20