9 ноября, вторник, 14:00, к.430

С. Исакова (АУ)

Сложность задачи вывода типов в лямбда-исчислении

Доклад по статье:
Harry G.Mairson "Linear lambda calculus and PTIME-completeness".

В докладе определяются формализмы лямбда-исчисления, просто типизированного
лямбда-исчисления (a la Curry) и рассматривается задача вывода типов в
последнем. Доказывается P-полнота данной задачи при помощи сведения к ней P-полной
задачи о значении булевой схемы на заданном входе. При этом приводится простая
конструкция с использованием стандартных комбинаторов Черча.
Самые красивые, самые сексуальные, самые желанные девушки Сургута: студентки, комсомолки и просто красавицы тоже могут торговать своим телом, за деньги ублажая богатеньких мужчин в возрасте. Элитные проститутки в Сургуте https://surgut-xxx.com/elitnye-prostitutki рекламируют свои услуги всевозможными способами: создавая аккаунты в социальных сетях, обращаясь в эскорт агентства, размещая свои анкеты с откровенными фотографиями на сайтах в интернете.