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 newspaperJournal articleResearchpeer-review

  • Lars Birkedal
  • Rasmus Ejlers Møgelberg
  • ,
  • Jan Schwinghammer
  • ,
  • Kristian Støvring, Denmark
Original languageEnglish
JournalLogical Methods in Computer Science
Volume8
Issue4
ISSN1860-5974
DOIs
Publication statusPublished - 3 Oct 2012
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743426