Набиране на средства 15 Март 2025 – 1 Април 2025 Относно набирането на средства

Computational category theory

Main
Mathematics
Computational category theory

Computational category theory

D. E. Rydeheard, Burstall

0 / 0

0 comments

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Тип съдържание:

Книги

Година:

1988

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

Prentice Hall

Език:

english

Страници:

263

ISBN 10:

0131627368

ISBN 13:

9780131627369

Серия:

Prentice-Hall International Series in Computer Science

Файл:

PDF, 931 KB

IPFS:

,

english, 1988

Четете Онлайн

pdf, 931 KB

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Ash R. — Information theory

Freyd P. — Abelian categories. Introduction to theory of functors

Lawvere F.W. — Diagonal arguments and Cartesian closed categories (p.134 and ff. from Topoi collection)

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

Daniele Turi — Category Theory 001

Michael Barr, Charles Wells — A supplement for Category theory for computing science

Andrea Asperti, Giuseppe Longo — Categories, types, and structures. Introduction to category theory for computer scientists

Benjamin C. Pierce — Basic category theory for computer scientists

Ákos Seress — Permutation group algorithms

Hal Schenck — Computational algebraic geometry

Victor Shoup — A Computational Introduction to Number Theory and Algebra

Gray J.W. (ed.) — Mathematical Applications of Category Theory

Howard Bowman, Rodolfo Gomez — Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Kam-Tim Leung, Doris Lai-Chue Chen — Elementary Set Theory: Parts I & II

D. E. Rydeheard, Burstall — Computational Category Theory (Prentice-Hall International Series in Computer Science)

Esther Dennis-Jones; David E. Rydeheard — Categorical ML — Category-theoretic modular programming

Dembiński, P. — [Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1980 Volume 88 || Electronic category theory

D E Rydeheard R M Burstall — Computational Category Theory

Michael Barr, Charles Wells — Category theory for computing science

D.E. Rydeheard, R.M. Burstall — Computational Category Theory

Най-често използвани термини