[Prev][Next][Index][Thread]

A New Manuscript




I have just finished writing an article related to semantics of
programming languages that support code mobility. The title and
the corresponding URLs are:

  o A Space-Time Logic and the @-Calculus
    http://www.ufba.br/~ulisses/astlc.html

And comments, suggestions, criticisms or references from and
of yours are naturally welcome. Thank you for the attention.

Ulisses Ferreira
Th-1: [Humour] There does not exist any logic before nine.