(Q857813)

English

SKI combinator calculus

technique used in functional programming

In more languages

Statements

model of computation

0 references

defining formula

{\begin{aligned}I&=\lambda x.x\\K&=\lambda xy.x\\S&=\lambda xyz.xz(yz)\end{aligned}}

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

1 reference

Freebase Data Dumps

publication date

28 October 2013

Microsoft Academic ID

0 references

Sitelinks

Wikipedia(5 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q857813&oldid=1960905065"