21 августа 2010 · КомментарийБез заголовкаИмя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на записьНу это скорее вопрос синтаксиса. Т.е. можно иметь несколько (эквивалентных) нотаций, одна будет с явными кванторами, другая без явных кванторов, но с переменными, а третья - в pointfree стиле.