Author of the publication

Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist

, and . Foundations of Computing MIT Press, (Aug 23, 1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Rubin-Euclid Derived Data Products: Initial Recommendations, , , , , , , , , and 110 other author(s). (2022)cite arxiv:2201.03862Comment: Report of the Rubin-Euclid Derived Data Products Working Group, 78 pages, 11 figures.The source coding theorem revisited: A combinatorial approach., and . IEEE Trans. Inf. Theory, 25 (5): 544-548 (1979)Preface., , and . Math. Struct. Comput. Sci., 9 (4): 321 (1999)Incomputability in Physics and Biology.. Math. Struct. Comput. Sci., 22 (5): 880-900 (2012)A Pragmatic Way Out of the Maze of Uncertainty Measures., and . IPMU, volume 521 of Lecture Notes in Computer Science, page 370-376. Springer, (1990)Information and the Mind-Body Problem.. IPMU, volume 521 of Lecture Notes in Computer Science, page 298-306. Springer, (1990)Applicative Information Systems., , and . CAAP, volume 159 of Lecture Notes in Computer Science, page 35-64. Springer, (1983)A Category-Theoretic Characterization of Functional Completeness., and . Theor. Comput. Sci., 70 (2): 193-211 (1990)Textural identification of carbonate rocks by image processing and neural network: Methodology proposal and examples., , , , and . Comput. Geosci., 31 (5): 649-659 (2005)Mapping the Galaxy Color-Redshift Relation: Optimal Photometric Redshift Calibration Strategies for Cosmology Surveys, , , , , , , , , and 10 other author(s). (2015)cite arxiv:1509.03318Comment: ApJ accepted, 17 pages, 10 figures.