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 |