Aarhus University Seal / Aarhus Universitets segl

A step-indexed Kripke model of hidden state

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Jan Schwinghammer, Saarland University
  • ,
  • Lars Birkedal
  • François Pottier, INRIA Paris-Rocquencourt, Denmark
  • Bernhard Reus, University of Sussex, Denmark
  • Kristian Støvring, University of Copenhagen, Denmark
  • Hongseok Yang, United Kingdom
Original languageEnglish
JournalMathematical Structures in Computer Science
Volume23
Issue1
Pages (from-to)1-54
Number of pages54
ISSN0960-1295
DOIs
Publication statusPublished - 1 Feb 2013
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 78993648