Search
for Author
All Reviews
Barr, Michael
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Category theory for computing science
Barr M. (ed), Wells C. (ed), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990. Type: Book (9780131204867)
About 35 years ago I had a discussion with some graduate students at my alma mater about problems I was having formulating questions about function composition in relationship to Algol. They said that little was understood about such g...
...
Nov 1 1993
Fixed points in Cartesian closed categories
Barr M. (ed) Theoretical Computer Science 70(1): 65-72, 1990. Type: Article
Barr proposes to study domain theory using a semantic model general enough to include situations that cannot be covered by standard ZF set theory. The framework is a Cartesian closed category that has finite limits and a natural number...
...
Jun 1 1991
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud, Inc.
®
Terms of Use
|
Privacy Policy