"Записки научных семинаров ПОМИ"
Том 468, стр. 287-308
Автоморфизмы типов и их приложения
С. Соловьев, Я. Малаховский
IRIT, Paul Sabatier University, 118 route de Narbonne,
31062 Toulouse, France;
ITMO University, St.Petersburg, Russia
papers@oxij.org
IRIT, Paul Sabatier University, 118 route de Narbonne,
31062 Toulouse, France;
ITMO University, St.Petersburg, Russia
soloviev@irit.fr
- Аннотация:
В статье приводится краткое изложение новых результатов об
изоморфизмах и автоморфизмах в теории типов и предлагается несколько
практических применений указанных результатов в контексте языков
программирования и защиты данных.
Библ. -- 27 назв.
- Ключевые слова:
лямбда исчисление, теория типов, изоморфизмы,
автоморфизмы, автоматическое доказательство теорем, поиск в библиотеках,
теория групп, криптография, защита данных
[lambda calculus, type theory, isomorphisms, automorphisms,
automated theorem proving, library search, group theory, cryptography,
data security]
Полный текст(.pdf)