This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
Category Theory and Computer Science
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
bounded pushouts, plain institution map, regular relators, opetopic set, strongly regular form, commuting datatypes, computable metric space, commuting relators, ranked term graphs, basic open cover, monad algebras, colimiting property, regular monads, synthetic domain theory, institution morphism, functorial notion, global modulus, indexed functor, factorisation system, admissible monos, realisability models, universal occupant, surjective open maps, term graph rewriting system, admissible monomorphisms Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Springer Verlag, University of Edinburgh, Markov's Principle, Mac Lane, Limsoon Wong, New York, Notes Comp, Cambridge University Press, Pure Appl, Axiomatic Rewriting System, Axiomatic Rewriting Theory, North Holland, Eindhoven University of Technology, Prentice Hall, Robin Milner, The Netherlands, University of Pennsylvania, Data Type Specification, Davide Sangiorgi, Eugenio Moggi, London Math, Science of Computer Programming, Val Tannen, World Scientific New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
bounded pushouts, plain institution map, regular relators, opetopic set, strongly regular form, commuting datatypes, computable metric space, commuting relators, ranked term graphs, basic open cover, monad algebras, colimiting property, regular monads, synthetic domain theory, institution morphism, functorial notion, global modulus, indexed functor, factorisation system, admissible monos, realisability models, universal occupant, surjective open maps, term graph rewriting system, admissible monomorphisms Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Springer Verlag, University of Edinburgh, Markov's Principle, Mac Lane, Limsoon Wong, New York, Notes Comp, Cambridge University Press, Pure Appl, Axiomatic Rewriting System, Axiomatic Rewriting Theory, North Holland, Eindhoven University of Technology, Prentice Hall, Robin Milner, The Netherlands, University of Pennsylvania, Data Type Specification, Davide Sangiorgi, Eugenio Moggi, London Math, Science of Computer Programming, Val Tannen, World Scientific New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science
- Books > Computers & Technology > Hardware
- Books > Computers & Technology > Programming > Languages & Tools > Compiler Design
- Books > Computers & Technology > Programming > Languages & Tools > Compilers
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
