Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2004

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

Стр.:

P.239-254

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

Bibliogr.: p.253-254

Место издания:

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

Серия:

Lecture Notes in Computer Science

Источник:

Lecture Notes in Computer Science

Том:

3057

Карточка:

Б2.33.

Chen Ch., Zhu D., Xi H..

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2004.-Vol. 3057.-P.239-254-(Lecture Notes in Computer Science).
Bibliogr.: p.253-254

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

PAP29 173