Z Wikipedii

Rachunek lambda bez typów to klasyczna postać rachunku lambda.

W rachunku lambda bez typów nie każde wyrażenie daje się sprowadzić do postaci normalnej. Przykładem prostego wyrażenia, które β-redukuje się samo w siebie jest (λ x . x x) (λ x . x x)

Trzech polskich żołnierzy zginęło w Afganistanie

Trzech polskich żołnierzy zginęło w Afganistanie. Jeden został ranny. Polski patrol, na drodze z Sharany do Ghazni, wjechał na zdalnie sterowany ładunek wybuchowy.

Kongres waha się ws. tarczy

Droga do rozmieszczenia elementów amerykańskiego systemu obrony w Polsce może być jeszcze daleka. Kongres USA, pod kontrolą Demokratów, pozostaje sceptyczny wobec tarczy. - Jeśli chodzi o rozpoczęcie jej budowy w Polsce, mówimy: nie - oświadczyła kongresmenka Helen Tauscher, przewodnicząca podkomisji Izby Reprezentantów nadzorującej program obrony antyrakietowej.

Rosyjska reakcja na tarczę

Rosja reaguje na amerykańsko-polskie porozumienie ws. tarczy. Na razie słownie. Szef rosyjskiego MSZ Siergiej Ławrow zapowiada, że Rosja odpowie nie tylko drogą protestów dyplomatycznych.

Ponad 100 osób zginęło w katastrofie lotniczej

Tylko 26 osób przeżyło katastrofę samolotu na madryckim lotnisku Barajas - powiedziała hiszpańska minister rozwoju Magdalena Alvarez. Na pokładzie było ponad 170 osób. Minister potwierdziła w ten sposób wcześniejsze doniesienia mediów, które powoływały się na służby ratunkowe. Samolot pasażerski linii Spanair podczas startu wypadł z pasa i stanął w płomieniach.

Czarna seria samolotów serii MD-80

Katastrofa w Madrycie to już kolejny w ostatnich latach wypadek z udziałem samolotu serii MD-80. W marcu i kwietniu tego roku kontrola bezpieczeństwa zmusiła linie American Airlines do wstrzymania lotów całej floty maszyn tego typu. Wcześniej doszło do serii tragicznych wypadków samolotów MD-80.