Logika kategoryczna i teoria typów: Tom 141

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 5 głosach.

Oryginalny tytuł:

Categorical Logic and Type Theory: Volume 141

Zawartość książki:

Książka ta jest próbą systematycznego przedstawienia zarówno logiki, jak i teorii typów z perspektywy kategorialnej, przy użyciu ujednolicającego pojęcia kategorii włóknistej.

Przeznaczona jest dla logików, teoretyków typów, teoretyków kategorii i (teoretycznych) informatyków.