Аннотация:
В статье приводится краткое изложение новых результатов об изоморфизмах и автоморфизмах в теории типов и предлагается несколько практических применений указанных результатов в контексте языков программирования и защиты данных. Библ. – 27 назв.
Ключевые слова:лямбда исчисление, теория типов, изоморфизмы, автоморфизмы, автоматическое доказательство теорем, поиск в библиотеках, теория групп, криптография, защита данных.
Полный текст:
PDF файл (253 kB)