Correct terminology in type theory: types, type constructors, kinds/sorts and values

Correct terminology in type theory: types, type constructors, kinds/sorts and values

Roel Van de Paar

2 года назад

11 Просмотров

Ссылки и html тэги не поддерживаются


Комментарии: