Aarhus University Seal / Aarhus Universitets segl

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 of Copenhagen, Denmark
  • Hongseok Yang, IT University of Copenhagen, Denmark
Original languageEnglish
Title of host publication 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings
Number of pages10
Publication year25 Oct 2005
ISBN (print)0769522661
Publication statusPublished - 25 Oct 2005
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 81614558