RUS  ENG
Full version
CONFERENCES
The 2nd International Conference on Applicative Computational Systems (ACS'2010)
(October 29–31, 2010, Moscow)

Applicative computational systems, or ACS, include the systems of object calculi, based on combinatory logic and lambda-calculus. The only that is significantly studying in these systems is a notion of object. One of the main topics is the computations with objects and their applications along with the topics from logic, type theory, computation theory and semantic modeling.


E-mail:
Website: https://jurinfor.exponenta.ru/acs2010





© Steklov Math. Inst. of RAS, 2024