269,90 zł
Sprzedaje firma Libristo
Jak sortujemy?
Darmowa dostawa z PremiumKurierem od 49,00 zł
Dołącz do Premium
Dostawa za darmo w apce
Lub na empik.com najtaniej za 13,99 złDostawa i płatność
Przewidywany czas wysyłki29-30 dni roboczych
Szczegóły
Sprzedawca zagraniczny
Więcej informacji
Zwrotdo 14 dni
Zwroty
Wszystkie produkty sprzedawcy
Informacje szczegółowe
Pokaż wszystkieWydawca:
Data premiery:
2008-02-01
Ilość stron:
200
Autor:
Hindley Roger J.
Okładka:
miękka
Program Ochrony Kupujących
Na empik.com kupujesz bezpiecznie.
Każdy sprzedawca w empik.com jest przedsiębiorcą. Wszystkie obowiązki związane z umową sprzedaży ciążą na sprzedawcy. Za wysłanie produktu odpowiada sprzedawca.
Opis produktu
Introduction; 1. The type-free lambda-calculus; 2. Assigning types to terms; 3. The principal-type algorithm; 4. Type assignment with equality; 5. A version using typed terms; 6. The correspondence with implication; 7. The converse principal-type algorithm; 8. Counting a type's inhabitants; 9. Technical details; Answers to starred exercises; Bibliography; Table of principal types; Index.
Informacje szczegółowe
| ID produktu: | 1020604344 |
|---|---|
| Tytuł: | Basic Simple Type Theory |
| Autor: | |
| Wydawnictwo: | |
| Język wydania: | angielski |
| Liczba stron: | 200 |
| GPSR - osoba odpowiedzialna i certyfikaty: |
Oceny i recenzje o produkcie
Nikt jeszcze nie dodał recenzji tego produktu.
Bądź pierwszy!Twoja opinia będzie bardzo przydatna dla innych użytkowników.
Najpopularniejsze serie
Dobre na prezent
Bestsellery książkowe
Lektury szkolne
Serie dla młodzieży
Popularni autorzy
Przeczytaj więcej o…
Pokaż więcej
Poznaj Empik
Empik Pasje
Nasze produkty
EmpikPlace (Marketplace)
Outlet Empik
Do 200 zł na pierwsze zakupy w aplikacji. Pobierz i korzystaj z kodów zniżkowych. Dowiedz się więcej
Nasze projekty dofinansowane
ze środków Funduszy Europejskich
PARTNERZY LOGISTYCZNI:
OPERATOR PŁATNOŚCI:
NALEŻY DO:
