# lambda-reikningur

## Icelandic[edit]

### Etymology[edit]

A calque of the English *lambda calculus* from the Greek character *lambda* (“lambda; λ”) and *reikningur* (“mathematics, arithmethic”).

### Noun[edit]

**lambda-reikningur** m (*genitive singular* **lambda-reiknings**, *nominative plural* **lambda-reikningar**)

- (computer theory) lambda calculus; (any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions)