Статья "Conversions of lambda-terms and combinators"

Статья опубликована в 2001 году в сборнике трудов 3-ей международной конференции Computer Science and Information Technologies 2001 (http://csit.ugatu.ac.ru/).

Загрузить статью можно в форматах PostScript и PDF.
Загрузить программу, описанную в статье: ceval.tar.bz2.

Вернуться на главную страницу

Комментарии посетителей к этой странице

Дата: 15.02.2010 18:33:06Автор: fEiJiUutxXpUVjRJLfe-mail: aonfkr@xpvsvi.com
5ViuOm <a href="http://vxjfvpmaebiq.com/">vxjfvpmaebiq</a>, [url=http://himmngxuvoot.com/]himmngxuvoot[/url], [link=http://rpilxuzgvlab.com/]rpilxuzgvlab[/link], http://paqgwgtlifgu.com/



Ваше имя:
Ваш e-mail:
Комментарий:


Вернуться на главную страницу

100% MS Free Rambler's Top100 Мониторинг сервера осуществляется системой UpTime.Ru
Best viewed with Lynx