Pure type system
title: Pure type system
subject: Category:Type theory
id: pure+type+system
description: form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these
description: форма типізованого лямбда-числення @uk
subject: Category:Proof theory
label: Чистая система типов @ru
label: Αμιγές σύστημα τύπων @el
hypernym: Form
label: Чиста система типів @uk
subject: Category:Lambda calculus