-
Пошел за старыми статьями Вадлера...
...наткнулся на новые.
Очень интересно про линейную логику (которая Linear logic):Two different operational interpretations of intuitionistic linear logic have been proposed in the literature. The simplest interpretation recomputes non-linear values every time they are required. It has good memory-management properties, but is often dismissed as ( Read more... )