Searching for "Category Theory and Computer Science" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

54 documents found, showing 1 through 10. Next 10 →

March 1999. 21 pp. Appears in Mendelzon, editor,
by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
… of Computer Science: 24th International Symposium, MFCS '99 Proceedings, LNCS 1672, 1999, pages 354--365. [RS…
Add To MetaCart

Memories of ADJ
by Joseph Goguen Programming, Joseph A. Goguen — 1989 — Bulletin of the European Assoc. for Theoretical Computer Science
… of computer science. I also attended Professor Saunders Mac Lane's lectures and seminars on category theory…
Add To MetaCart

John Power Edinburgh, January 1995
by January Comments Are, John Power
… theory in computer science, particularly in denotational semantics. Here, we go one step further. We drop…
Add To MetaCart

Types as Theories
by Joseph Goguen Programming, Joseph A. Goguen — 1991 — Topology and Category Theory in Computer Science
… material that was inadvertently omitted from the version printed in Topology and Category Theory…
Add To MetaCart

Casl. 5 37. (with M. Bidoit) Behavioural satisfaction and equi...
by Nd Eq Ui
… Intl. Conference on Category Theory and Computer Science CTCS'97, S. Margherita Ligure, September 1997…
Add To MetaCart

On the Role of Category Theory in the Area of Algebraic Specifications
by H. Ehrig, M. Große-Rhode, U. Wolter — 1996 — In LNCS , Proc. WADT11
…, and rewrite logic for concurrent systems. 1 Category Theory and Applications in Computer Science Category…
Cited by 4 (1 self) – Add To MetaCart

Bibliography for An Algebraic Study of Modularity in Logic Programming
by Elvira Pino — 1999
… Programs. Theoretical Computer Science. Vol. 105. (1992) 27-56. [Sri90] Y. V. Srinivas. Category Theory…
Add To MetaCart

Bibliography
by Daniele Turi
…. A final coalgebra theorem. In D.H. Pitt et al., editors, Proc. category theory and computer science…
Add To MetaCart

Proc. Summer Workshop on Category and Computer
by Programming Surrey Lncs, Smyth M — 293
…", Conference in Category Theory, Computer Science and Logic, Boulder (AMS notes). Pitt D.H., Abramsky S., Poign…
Add To MetaCart

Elements of Basic Category Theory
by Alfio Martini — 1996
… parts of current research in theoretical computer science in connection to category theory, where…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB