A Curry-Howard Isomorphism for Compilation and Program Execution

Вы здесь

Сообщение об ошибке

Notice: Trying to get property of non-object в функции eval() (строка 57 в файле /var/www/library/sites/all/modules/computed_field/computed_field.module(468) : eval()'d code).

Автор:

Ohori.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1999

Ключевые слова:

компиляция

выполнение

программа

Стр.:

P.280-294.

Библиография:

Bibliogr.: p.294

Издательство:

Springer

Источник:

Lecture Notes in Computer Science

Том:

1581

Карточка:

Б2.35.

Ohori., .

A Curry-Howard Isomorphism for Compilation and Program Execution: Springer// Lecture Notes in Computer Science-1999.-Vol. 1581.-P.280-294.
Bibliogr.: p.294

Таблица в старой библиотеке:

PAP19 386