Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Categories and Computer Science.   

Domains and Lambda-Calculi

Roberto M. Amadio, Pierre-Louis Curien - Computers - 1998 - 484 pages
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Limited preview - About this book

Axiomatic Domain Theory in Categories of Partial Maps

Marcelo P. Fiore - Computers - 2004 - 256 pages
First systematic account of axiomatic categorical domain theory and functional programming.
Limited preview - About this book

Category Theory and Computer Science: 7th International Conference, CTCS'97 ...

Eugenio Moggi, Giuseppe Rosolini - Computers - 1997 - 319 pages
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 ...
Limited preview - About this book

Logic, Mathematics, and Computer Science: Modern Foundations with Practical ...

Yves Nievergelt - Mathematics - 2015 - 391 pages
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number ...
Limited preview - About this book

Category Theory and Computer Science: Paris, France, September 3-6, 1991 ...

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard - Mathematics - 1991 - 304 pages
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory ...
Limited preview - About this book

Power Algebras over Semirings: With Applications in Mathematics and Computer ...

Jonathan S. Golan - Computers - 1999 - 203 pages
This research monograph investigates sets of the form RA where R is a semiring, and A is a set with a certain structure. Such constructs generalise fuzzy and toll algebraic ...
Limited preview - About this book

Power Algebras over Semirings: With Applications in Mathematics and Computer ...

Jonathan S. Golan - Mathematics - 2013 - 206 pages
This monograph is a continuation of several themes presented in my previous books [146, 149]. In those volumes, I was concerned primarily with the properties of semirings. Here ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search