- Tytuł:
-
Quantification in Programming Languages.
Kwantyfikacja w Językach Programowania - Autorzy:
- Gaiński, Piotr
- Słowa kluczowe:
-
teoria typów, rachunek lambda, sprawdzanie typu, kwantyfikacja, języki programowania, systemy typów
type theory, lambda calculus, type-checking, quantification, programming languages, type systems - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Inne