Derivation and Computation: Taking the Curry-Howard...

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

Name: Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
ISBN: 9780521771733

Harold Simmons

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Категорії:

Рік:

2000

Видавництво:

Cambridge University Press

Мова:

english

Сторінки:

410

ISBN 10:

0521771730

ISBN 13:

9780521771733

Серії:

Cambridge Tracts in Theoretical Computer Science

Файл:

PDF, 12.45 MB

IPFS:

english, 2000

Читати Онлайн

Виконується конвертація в

Конвертація в не вдалась