(Q242028)

English

lambda calculus

formal system in mathematical logic

  • λ-calculus
  • lambda calculi
  • λ-calculi
  • untyped lambda calculus
  • type-free lambda calculus

Statements

Identifiers

Lambda-Kalkül
Churchscher Lambda-Kalkül
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit