High Quality Content by WIKIPEDIA articles! System F, also known as the (Girard–Reynolds) polymorphic lambda calculus or the second-order lambda calculus, is a typed lambda calculus that differs from the simply typed lambda calculus by the introduction of

В наличии:
	Sprinter - 1008 руб.	Перейти		Лучшая цена
	Books.Ru - 1128 руб.	Перейти

Рейтинг книги: 4 из 5, 1 голос(-ов).