Search
ComputingReviews.com
A logic for category theory
Gilmore P., Tsiknis G. Theoretical Computer Science111(1-2):211-252,1993.Type:Article
Published By:
Elsevier Science Publishers Ltd.
You can purchase an article without having a subscription.
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy