Search
for Author
All Reviews
Lamarche, Francois
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Quantitative domains and infinitary algebras
Lamarche F. Theoretical Computer Science 94(1): 37-62, 1992. Type: Article
Using category-theoretic methods and a correspondence between the categories of “spaces” and “algebras,” the author constructs models of the simple (first-order) typed and untyped lambda calculi....
...
Dec 1 1992
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy