Normalizacja w rachunku λ z pełnym zestawem spójników poprzez translację do rachunku λ z typami prostymi
Fragment książki (Rozdział w monografii)
Status: | |
Autorzy: | Wojdyga Aleksander |
Wersja dokumentu: | Drukowana |
Język: | polski |
Strony: | 25 - 29 |
Efekt badań statutowych | NIE |
Materiał konferencyjny: | NIE |
Publikacja OA: | NIE |