Tag:Lambdacalcul

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Domain theory (1)
  math logic wikipedia domain-theory theory domain_theory domain cs programming science model mathematics function filosofi order-theory metric matematik partially-order-set poset spaces logik phd compsci denotational-semantic computation domaintheory formalmethods lambdacalcul functionalprogramming lamda-calculus
• Church encoding (1)
  wikipedia math logic lambdacalculus mathematics puzzle wp study lambdacalcul programminglanguages jfkbits cs computerscience alligator encoding fp iris'smemo functionalprogramming lambda-calculus