Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

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

Год:

2004

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

ламбда-исчисление

смешанные вычисления

Стр.:

P.64-76

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

Appendix: p.76

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

Нью-Йорк

Где проводился:

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

ACM Order Department

Источник:

Карточка:

Б2.24, Б3.21.

Balat V., Di Cosmo R., Fiore M..

Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums-Нью-Йорк.: ACM Order Department// POPL 2004, 2004.-P.64-76
Appendix: p.76

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

PAP28 812