lambda calculus (Q242028)

From Wikidata
Jump to navigation Jump to search
formal system in mathematical logic
  • λ-calculus
  • lambda calculi
  • λ-calculi
  • untyped lambda calculus
  • type-free lambda calculus
edit
Language Label Description Also known as
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
0 references
lambda-calculus
0 references
135790938
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit