The Ornithodex is the reference manual of common combinator birds.
Color-coded for the Bekimet, Becekew and Sekei forests.
| Abstraction | Symbol | Bird | Combinator |
|---|---|---|---|
| λabc.a(bc) | B | Bluebird | S(KS)K |
| λabcd.a(bcd) | B1 | Blackbird | BBB |
| λabcde.a(bcde) | B2 | Bunting | B(BBB)B |
| λabcd.a(b(cd)) | B3 | Becard | B(BB)B |
| λabc.acb | C | Cardinal | S(BBS)(KK) |
| λabcd.ab(cd) | D | Dove | BB |
| λabcde.abc(de) | D1 | Dickcissel | B(BB) |
| λabcde.a(bc)(de) | D2 | Dovekies | BB(BB) |
| λabcde.ab(cde) | E | Eagle | B(BBB) |
| λabcdefg.a(bcd)(efg) | Ê | Bald Eagle | B(BBB)(B(BBB)) |
| λabc.cba | F | Finch | ETTET |
| λabcd.ad(bc) | G | Goldfinch | BBC |
| λabc.abcb | H | Hummingbird | BW(BC) |
| λa.a | I | Idiot(Identity) | SKK |
| λabcd.ab(adc) | J | Jay | B(BC)(W(BC(B(BBB)))) |
| λab.a | K | Kestrel (True) | |
| λab.b | KI | Kite (False) | KI |
| λab.a(bb) | L | Lark | CBM |
| λabcd.a(bd)(cd) | N | Nightingale | B(BS)B |
| λa.aa | M | Mockingbird | SII |
| λab.ab(ab) | M2 | Double Mockingbird | BM |
| λab.b(ab) | O | Owl | SI |
| λabc.b(ac) | Q | Queer Bird | CB |
| λabc.a(cb) | Q1 | Quixotic Bird | BCB |
| λabc.b(ca) | Q2 | Quizzical Bird | C(BCB) |
| λabc.c(ab) | Q3 | Quirky Bird | BT |
| λabc.c(ba) | Q4 | Quacky Bird | F*B |
| λabc.bca | R | Robin | BBT |
| λabc.ac(bc) | S | Starling | S |
| λab.ba | T | Thrush | CI |
| λab.b(aab) | U | Turing | LO |
| λabc.cab | V | Vireo (aka Pairing) | BCT |
| λab.abb | W | Warbler | C(BMR) |
| λab.baa | W1 | Converse Warbler | CW |
| λa.a(λa) | Y | Why Bird (aka Sage Bird) | SLL |
| λab.ab | I* | Identity Bird Once Removed | S(SK) |
| λabc.abcc | W* | Warbler Once Removed | BW |
| λabcd.abdc | C* | Cardinal Once Removed | BC |
| λabcd.acdb | R* | Robin Once Removed | C*C* |
| λabcd.adcb | F* | Finch Once Removed | BC*R* |
| λabcd.acbd | V* | Vireo Once Removed | C*F* |
| λabcd.abcdd | W** | Warbler Twice Removed | B(BW) |
| λabcde.abced | C** | Cardinal Twice Removed | BC* |
| λabcde.abdec | R** | Robin Twice Removed | BR* |
| λabcde.abedc | F** | Finch Twice Removed | BF* |
| λabcde.abecd | V** | Vireo Twice Removed | BV* |
| λab.bb | KM | Konstant Mocker | KM |
| λab.aa | C(KM) | Crossed Konstant Mocker | C(KM) |