categories.org.au
Sign In Sign Up
Manage this list Sign In Sign Up

Keyboard Shortcuts

Thread View

  • j: Next unread message
  • k: Previous unread message
  • j a: Jump to all threads
  • j l: Jump to MailingList overview
thread

None

plotkinīŧ src.dec.com

2 Jul 1990 2 Jul '90
5:23 p.m.

For an example recent use of ordered algebras see the book by Matthew Hennessy,1988, Algebraic Theory of Processes. As references he gives Guessarian, 1981, Algebraic Semantics, LNCS Vol99 , the ADJ Paper, Initial Algebra Semantics and Continuous Algebras, JACM, Vol24, no1, pp 102-124 and recommends Nivat and Reynolds,1885, Algebraic methods in Semantics; it has useful papers and further references in it. I am sure there is lots, lots more, hardly a new thought! Gordon Plotkin

0 0
Reply
Sign in to reply online Use email software

Back to the thread

Back to the list

MailmanLists