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

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)Types as Parameters.. TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 658-670. Springer, (1993)Continuous Structures and Analytic Methods in Computer Science.. CAAP, page 1-22. Cambridge University Press, (1984)Unruly codes with unruly distances raise (combinatorial) problems., and . Electron. Notes Discret. Math., (2011)Mining Yeast Gene Microarray Data with Latent Variable Models., , , , , , , , , and 2 other author(s). WIRN, page 81-89. Springer, (2004)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.Data challenges of time domain astronomy., , , , , and . Distributed Parallel Databases, 30 (5-6): 371-384 (2012)The source coding theorem revisited: A combinatorial approach., and . IEEE Trans. Inf. Theory, 25 (5): 544-548 (1979)