| Marcelo P. Fiore - Computers - 2004 - 256 pages
First systematic account of axiomatic categorical domain theory and functional programming. | |
| 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 ... | |
| 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 ... | |
| 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 ... | |
| 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 ... | |
| |