Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://al.cs.msu.su/static/seminars/catfl/reports/021_form_systems/abstract.html
Дата изменения: Wed Oct 10 12:08:26 2007 Дата индексирования: Mon Oct 1 20:11:08 2012 Кодировка: koi8-r |
Дмитрий Орлов, 3 октября 2007
В докладе рассказывается о типизированном lambda-исчислении в семантике, универсальной интерпретации именных групп (Generalized Quantifier) и других синтаксических категорий, а также о проблеме отрицания.