Aarhus University Seal / Aarhus Universitets segl

Step-Indexed Kripke Models over Recursive Worlds

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Lars Birkedal
  • Bernhard Reus
  • ,
  • Jan Schwinghammer
  • ,
  • Kristian Støvring, Denmark
  • Jacob Junker Thamsborg
  • ,
  • Hongseok Yang
Original languageEnglish
Title of host publicationProceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA
PublisherAssociation for Computing Machinery
Publication yearJan 2011
Pages119-132
Publication statusPublished - Jan 2011
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743287