EL № FS 77 - 30569. №0421100025. ISSN 1994-0408

List of literature

Barendregt H., Wiedijk F. The Challenge of Computer Mathematics. – Transactions of the Royal Society, Vol. 363, ╧1835, 2005. – pp. 2351-2375. ftp://ftp.cs.ru.nl/pub/CompMath.Found/Barendregt-Wiedijk.pdf

Bell G., Dourish P. Yesterday’s tomorrows: notes on ubiquitous computing’s dominant vision. – Personal Ubiquitous Comput., Vol. 11, ╧2, 2007. – pp. 133–143. DOI http://dx.doi.org/10.1007/s00779-006- 0071-x.

Berners-Lee T., Hall W., Hendler J., O’Hara K., Shadbolt N., and Weitzner D. A framework for Web science. – Foundations and Trends in Web Science, Vol. 1, Issue 1, 2006. – pp. 1-130. http://www.nowpublishers.com/web/

Proekt «LAMBDA», otkrytyi dlya sotrudnichestva         25

Cardelli L., Davies R. Service combinators for Web computing. - HP Labs Technical Reports SRC-RR-148, June 1, 1997. - 15 p. http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-148.html

Carpenter B. The Internet Engineering Task Force: Overview, Activities, Priorities. - ISOC BoT, 2006-02-10, 2006. http://www.isoc.org/isoc/general/trustees/docs/Feb2006/IETF-BoT-20060210.pdf

Curry H. B. Functionality in combinatory logic. - Proc. National Academy of Sciences of the USA, Vol. 20, 1934. - pp. 584-590. 1

de Bruijn N.G. Lambda-calculus notations with nameless dummies: a tool for automatic formula manipulation. - Indag. Math. 1972, ╧34, pp. 381-392.

de Bruijn N. G. A survey of the project Automath. - In: To H.B. Curry: Essays in combinatory logic, lambda calculus and formalism, Academic Press, 1980. -pp. 579-606. 1

Denning P. J. Computing is a natural science. - Commun. ACM, Vol. 50, ╧7, 2007. - pp. 13-18. DOIhttp://doi.acm.org/10.1145/1272516.1272529

Hindley J. R., Lercher B., Seldin J. P. Introduction to Combinatory Logic. - London: Cambridge University Press, 1972.

Kennedy A. Functional Pearls: Pickler Combinators. - Journal of Functional Programming, special issue on Functional Pearls, Vol. 14, ╧6, Cambridge University Press, Nov 2004. - pp. 727-739,

MacLennan B. J. Molecular Combinator Reference Manual. - UPIM Report 2, Technical Report UT-CS-02-489, Department of Computer Science, University of Tennessee, Knoxville, 2002. - 16 p.

http://www.cs.utk.edu/~mclennan/UPIM/CombRef.pdf

13.            MacLennan B. J. Combinatory Logic for Autonomous Molecular Computation. - Preprint of paper invited for Information Sciences,
2003.

http://www.cs.utk.edu/~mclennan/UPIM/CLAMC-IS.pdf

14.            MacLennan B. J. Molecular Combinatory Computing for Nanostructure Synthesis and Control. - IEEE Nano 2003, San Francisco,
August 12-14, 2003.

http://www.cs.utk.edu/~mclennan/UPIM/MacLennan-MCCNSC.pdf

Schonfinkel M.I. Uber die Bausteine der mathematischen Logik. Math. Annalen 92, 1924. - pp. 305-316. 1

Scott D. S. The lattice of flow diagrams. - Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages. - Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp. 311-372.

Scott D. S. Relating theories of the lambda calculus. - Hindley J., Seldin J. (eds.) To H.B.Curry: Essays on combinatory logic, lambda calculus and formalism.- N.Y.& L.: Academic Press, 1980, pp. 403-450. 1

Seldin J. P. The Logic of Curry and Church. - In: (Dov Gabbay and John Woods, eds.) Handbook of the History of Logic, Vol. 5, Elsevier, 2006. http://people.uleth.ca/~jonathan.seldin/CCL.pdf

Selinger P. and Valiron B. A lambda calculus for quantum computation with classical control. - Mathematical Structures in Computer Science, 16(3), 2006. -pp. 527-552.

Vol'fengagen V.E. Konstrukcii yazykov programmirovaniya. Priemy opisaniya. -M.: AO «Centr YurInfoR», 2001. -276 s. Izdanie podderjano grantom RFFI, proekt 01-01-14068-d. 15

Vol'fengagen V.E. Kombinatornaya logika v programmirovanii. Vychisleniya s ob'ektami v primerah i zadachah. - M.: MIFI, 1994. - 204 s; 2-e izd., M.: AO «Centr YurInfoR», 2003. - 336 s.

Vol'fengagen V.E. Metody i sredstva vychislenii s ob'ektami. Applikativnye vychislitel'nye sistemy. - M.: JurInfoR Ltd., AO «Centr YurInfoR», 2004. - xvi+789 s.

Izdanie podderjano grantom RFFI, proekt 03-01-14055-d. 7, 15, 15

Ismailova L. Yu. Logika ob'ektov. - V kn. [    ], s. 613-630.

Kosikov S. V. Logika funkcional'nosti. - V kn. [    ], s. 595-612.

Kosikov SV. Informacionnye sistemy: kategornyi podhod. - Pod red. L.Yu. Ismailovoi. - M.: «YurInfoR-Press®», 2005. - 96 s.

Shaumyan S. K. Applikativnaya grammatika kak semanticheskaya teoriya estestvennyh yazykov. - M.: Nauka, 1974. - 204 s.