Computational category theory

Computational category theory

Saved in:

Bibliographic Details
Main Author:	Rydeheard, D. E. (David E
Other Authors:	Burstall, Rod M. 1934-
Format:	Book
Published:	New York Prentice Hall 1988
Series:	Prentice Hall international series in computer science
Subjects:	Categories (Mathematics) > Data processing Electronic digital computers > Programming
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conceptual mathematics a first introduction to categories
by: Lawvere, F. W.
Published: (2009)

Virtual topology and functor geometry
by: Oystaeyen, F. Van 1947-
Published: (2008)

Category theory for computing science
by: Barr, Michael
Published: (1995)

Rings and categories of modules
by: Anderson, Frank W. 1928- Frank Wylie
Published: (1992)

Functional categories
by: Musyken, Pieter
Published: (2008)

Modern algebra and the rise of mathmematics
by: Corry, Leo
Published: (1996)

Finite free resolutions
by: Northcott, D. G. Douglas Geoffrey
Published: (1976)

Reliability evaluation of engineering systems concepts and techniques
by: Billinton, Roy
Published: (1992)

An introduction to homological algebra
by: Rotman, Joseph J. 1934-
Published: (2009)

Homological algebra of semimodules and semicontramodules semi-infinite homological algebra of associative algebraic structures
by: Positselski, Leonid 1973-
Published: (2010)

Linear representations of partially ordered sets and vector space categories
by: Simpson, Daniel
Published: (1992)

Aristotle's Categories and Propositions (De interpretatione)
by: Aristotle
Published: (1974)

Applied categorical and count data analysis
by: Tang, Wan
Published: (2012)

Algebra of proofs
by: Szabo, M. E
Published: (1978)

Computer programming techniques, analysis, and mathematics
by: Andree, Richard Vernon 1919-
Published: (1973)

Introduction to computing structured problem solving using WATFIV-S
by: Dyck, V. A
Published: (1979)

Categorical methods in computer science with aspects from topology
Published: (1989)

Categorical methods in computer science with aspects from topology
Published: (1989)

Computer approaches to mathematical problems
by: Nievergelt, Jurg
Published: (1974)

Language in action categories, lambdas and dynamic logic
by: Van Benthem, Johan
Published: (1995)

Introduction to computers
by: Kindred, Alton R. 1922-
Published: (1976)

An Introduction to English transformational syntax
by: Huddleston, Rodney
Published: (1976)

Fundamentals of computer science
by: Walker, Terry M. 1938-
Published: (1975)

Computational methods and Algol
by: Bull, Gordon M
Published: (1966)

How to solve it by computer
by: Dromey, R. G. 1946-
Published: (1982)

Information processing and computer programming an introduction
by: Hill, Harold C
Published: (1973)

Introduction to computers & information processing
by: Long, Larry E
Published: (1988)

Introduction to computers and information processing
by: Long, Larry E
Published: (1991)

Introduction to computers and information systems
by: Long, Larry E
Published: (1994)

Introduction to computers and information processing
by: Long, Larry E
Published: (1984)

A recursive introduction to theory of computation
by: Smith, Carl H 1950 -
Published: (1994)

Principles of business computer programming
by: Breckner, David
Published: (1970)

Computers and computing
by: Hock, Seth A
Published: (1989)

COMPUTER INFORMATION SYSTEMS An Introduction
by: Adams, David R. 1942- David Robert
Published: (1986)

Introduction to computers and computer science
by: Dorf, Richard C
Published: (1981)

Computers and computing
by: Rushforth, J. M
Published: (1973)

Introduction to computer operations
by: Fuori, William M, et al.
Published: (1981)

Commercial computer programming
by: Wright, Graham G. L. 1932-
Published: (1974)

Computing a second course
by: Gruenberger, Fred Joseph 1918-
Published: (1971)

Computer operations
by: Medley, Donald B
Published: (1988)