Semantics of Separation-logic Typing and Higher-order Frame Rules

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

  • Lars Birkedal
  • Noah Torp-Smith, IT University in Copenhagen, Denmark
  • Hongseok Yang, IT University in Copenhagen, Denmark
Original languageEnglish
Title of host publication 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings
Number of pages10
PublisherIEEE
Publication year25 Oct 2005
Pages260-269
ISBN (print)0769522661
DOIs
Publication statusPublished - 25 Oct 2005
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 81614558