Paper on categorical models of temporal logic and FRP published

My MFPS ’12 paper Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming has just been officially published by Elsevier.

Here is my personal BibTeX entry for the paper:

@article{jeltsch:entcs-286,
    author       = {Jeltsch, Wolfgang},
    title        = {Towards a Common Categorical Semantics for
                    Linear-Time Temporal Logic and Functional
                    Reactive Programming},
    journal      = {Electronic Notes in Theoretical Computer
                    Science},
    volume       = 286,
    pages        = {229--242},
    numpages     = 14,
    publisher    = {Elsevier},
    address      = {Amsterdam, The Netherlands},
    month        = sep,
    year         = 2012,
    issn         = {1571-0661},
    doi          = {10.1016/j.entcs.2012.08.015}
}
About these ads

One comment on “Paper on categorical models of temporal logic and FRP published

  1. [...] Section 2 of my MFPS paper, I presented a rather simple categorical semantics for temporal logic and FRP, which directly [...]

When replying to another comment, please press that comment’s “Reply” button first.

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s