A step-indexed Kripke model of hidden state

Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

5 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Mathematical Structures in Computer Science
Vol/bind	23
Udgave nummer	1
Sider (fra-til)	1-54
Antal sider	54
ISSN	0960-1295
DOI	https://doi.org/10.1017/S0960129512000035
Status	Udgivet - 2013

Adgang til dokumentet

@article{797aea4a596f4955bc2513b261694698,

title = "A step-indexed Kripke model of hidden state",

author = "Jan Schwinghammer and Lars Birkedal and Fran{\c c}ois Pottier and Bernhard Reus and Kristian St{\o}vring and Hongseok Yang",

year = "2013",

doi = "10.1017/S0960129512000035",

language = "English",

volume = "23",

pages = "1--54",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - A step-indexed Kripke model of hidden state

AU - Schwinghammer, Jan

AU - Birkedal, Lars

AU - Pottier, François

AU - Reus, Bernhard

AU - Støvring, Kristian

AU - Yang, Hongseok

PY - 2013

Y1 - 2013

U2 - 10.1017/S0960129512000035

DO - 10.1017/S0960129512000035

M3 - Journal article

SN - 0960-1295

VL - 23

SP - 1

EP - 54

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 1

ER -