|
Ten artykuł od 2012-10 wymaga zweryfikowania podanych informacji.Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.Sprawdź w źródłach:
Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
Redukcja β to najważniejsze przekształcenie w rachunku lambda,
odpowiadające aplikacji funkcji.
Relację -redukcji nazywamy najmniejszą relację taką, że:
- Jeśli to, oraz
Najmniejszą zwrotną i przechodnią relację zawierającą oznacza się zaś najmniejszą zwrotną, przechodnią i symetryczną –
Zobacz też