Aarhus University Seal / Aarhus Universitets segl

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

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

  • Lars Birkedal
  • Rasmus Ejlers Møgelberg
  • ,
  • Kristian Støvring, Denmark
  • Jan schwinghammer, Germany
Original languageEnglish
JournalAnnual Symposium on Logic in Computer Science
Pages (from-to)55-64
Publication statusPublished - 2011
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743339