Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Computational Category Theory (Prentice-Hall International...

Main
Mathematics
Computational Category Theory...

Computational Category Theory (Prentice-Hall International Series in Computer Science)

D. E. Rydeheard, Burstall

0 / 0

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

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

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

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

Категорії:

Рік:

1988

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

Prentice Hall

Мова:

english

Сторінки:

263

ISBN 10:

0131627368

Файл:

PDF, 907 KB

IPFS:

,

english, 1988

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

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

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

Можливо вас зацікавить

Unknown — Barr M Wells W Toposes Triples And Theories

Unknown — Barr M Wells W Toposes Triples And Theories

it-ebooks — Category Theory for Scientists (MIT 18.S996)

Samson Abramsky, Nikos Tzevelekos — Introduction to Categories and Categorial Logic (draft)

Jay C.B. — An introduction to categories in computing

Smith, Peter — Category Theory_ A Gentle Introduction

Barr M. — Category theory

Michael Barr & Charles Wells — Toposes, Triples, and Theories

J. Adámek, J. Rosický, E. M. Vitale — Algebraic Theories: A categorical introduction to general algebra

Mario Caccamo, Glynn Winskel — Lecture Notes in Category Theory [Draft]

Michael Barr, Charles Wells — Category Theory for Computing Science

Uday S. Reddy — Categories and Functors (Lecture Notes for Midlands Graduate School, 2012)

Emily Riehl — A survey of categorical concepts

Emily Riehl — Category theory in context

John Baez — Category Theory Course [Lecture notes]

Harold Simmons — An introduction to Category Theory [draft]

Peter Smith — Category Theory: A Gentle Introduction [draft]

Steve Awodey — Category Theory: Lecture notes

Steve Awodey — Categorical Logic [Lecture notes]

D. E. Rydeheard, R.M. Burstall — Computational category theory

Daniele Turi — Category Theory 001

Emily Riehl — Category theory in context

Emily Riehl — Category theory in context

D E Rydeheard R M Burstall — Computational Category Theory

Barr M., Wells C. — Category theory for computing science

D. E. Rydeheard, Burstall — Computational category theory

Steve Awodey — Category Theory

Andrea Asperti, Giuseppe Longo — Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Benjamin C. Pierce — Basic category theory for computer scientists

Saunders Mac Lane — Categories for the Working Mathematician

M. Barr, C. Wells — Toposes, Triples and Theories

Saunders Mac Lane — Categories for the Working Mathematician

Harold Simmons — An introduction to category theory

J. Lambek, P. J. Scott — Introduction to Higher-Order Categorical Logic

Walters R.F.C. — Categories and computer science

Ключові фрази

Пов’язані вибірки