Author of the publication

Computational category theory.

, and . Prentice Hall International Series in Computer Science Prentice Hall, (1988)

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

Rule Systems for Runtime Verification: A Short Tutorial., , , and . RV, volume 5779 of Lecture Notes in Computer Science, page 1-24. Springer, (2009)From Runtime Verification to Evolvable Systems., , and . RV, volume 4839 of Lecture Notes in Computer Science, page 97-110. Springer, (2007)Adjunction.. CTCS, volume 240 of Lecture Notes in Computer Science, page 51-57. Springer, (1985)Computing with Categories., and . CTCS, volume 240 of Lecture Notes in Computer Science, page 506-519. Springer, (1985)Towards a Categorical Semantics Type Classes., and . MFCS, volume 520 of Lecture Notes in Computer Science, page 191-201. Springer, (1991)Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms., and . Category Theory and Computer Science, volume 283 of Lecture Notes in Computer Science, page 114-139. Springer, (1987)Modelling Evolvable Systems: A Temporal Logic View., and . We Will Show Them! (1), page 195-228. College Publications, (2005)Computational Category Theory, and . Prentice-Hsll International Series in Computer Science Prentice-Hall, First Edition edition, (Jun 1, 1989)A note on first-order reasoning for minimum models., and . HOWARD-60, volume 42 of EPiC Series in Computing, EasyChair, (2014)A Theory of Classes: Proofs and Models., and . Math. Struct. Comput. Sci., 7 (2): 95-127 (1997)