Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
OptiTrust
OptiTrust draft paper
OptiTrust traces
OptiTrust website
JFLA'25 drafts
Typing overloading
Bijection C/λ-calculus
Home
–
Contact
@InProceedings{schwinghammer-al-11, author = {J. Schwinghammer and L. Birkedal and K. St{\o}vring}, title = {A step-indexed kripke model of hidden state via recursive properties on recursively defined metric spaces}, year = {2011}, note = "To appear", booktitle = "International Conference on Foundations of Software Science and Computation Structures ({FOSSACS})", }