Skip to search boxSkip to navigationSkip to main content

Step-Indexed Kripke Models over Recursive Worlds

  • Lars Birkedal
    ,
  • Bernhard Reus
    ,
  • Jan Schwinghammer
    ,
  • Kristian Støvring
    ,
  • Jacob Junker Thamsborg
    ,
  • Hongseok Yang
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 119-132

Publication milestones

  • Published - 01/2011

Publication status

Published - 01/2011

Publisher

Association for Computing Machinery, United States

Publication IDs

  • Scopus: 79251551722

Host publication title

Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA

Publication metrics

PlumX

Citations
52
Captures
16