Чиста система типів система узагальнених типів форма типізованого лямбда числення яка припускає довільну кількість сорті

Чиста система типів (система узагальнених типів) - форма типізованого лямбда-числення, яка припускає довільну кількість сортів змінних і залежностей між ними. Розробили незалежно Стефан Берарді (1988) і Ян Терлов (1989).

Чисту систему типів можна розглядати як узагальнення лямбда-куба, маючи на увазі, що кожній з його вершин відповідає примірник чистої системи типів з двома сортами змінних (подібний погляд висловлював автор ідеї лямбда-куба Генк Барендрегт).

Примітки

Pierce, Benjamin C. Types and programming languages. — Cambridge, Mass. : MIT Press, 2002. — 1 с. — , 978-0-585-44269-3, 0-262-25681-9, 978-0-262-25681-0, 9786612096693, 6612096691, 1-282-09669-9, 978-1-282-09669-1, 0-262-30382-5, 978-0-262-30382-8.
Kamareddine, Fairouz D. A modern perspective on type theory : from its origins until today. — Dordrecht : Kluwer Academic Publishers, 2004. — 1 с. — , 978-1-4020-2334-7, 1-4020-2335-9, 978-1-4020-2335-4.
Henk Barendregt. Introduction to generalized type systems // Journal of Functional Programming. — . — Vol. 1, iss. 2. — P. 125–154. — ISSN 1469-7653 0956-7968, 1469-7653. — DOI:10.1017/S0956796800020025.

[:0-1] Pierce, Benjamin C. Types and programming languages. — Cambridge, Mass. : MIT Press, 2002. — 1 с. — , 978-0-585-44269-3, 0-262-25681-9, 978-0-262-25681-0, 9786612096693, 6612096691, 1-282-09669-9, 978-1-282-09669-1, 0-262-30382-5, 978-0-262-30382-8.

[:1-2] Kamareddine, Fairouz D. A modern perspective on type theory : from its origins until today. — Dordrecht : Kluwer Academic Publishers, 2004. — 1 с. — , 978-1-4020-2334-7, 1-4020-2335-9, 978-1-4020-2335-4.

[3] Henk Barendregt. Introduction to generalized type systems // Journal of Functional Programming. — . — Vol. 1, iss. 2. — P. 125–154. — ISSN 1469-7653 0956-7968, 1469-7653. — DOI:10.1017/S0956796800020025.