Skip to search boxSkip to navigationSkip to main content

Logical Step-Indexed Logical Relations

  • Derek Dreyer
    ,
  • Amal Ahmed
    ,
  • Lars Birkedal
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Publication milestones

  • Published - 2009

Publication status

Published - 2009

Publisher

IEEE, United States

Publication IDs

  • Scopus: 70350600592

Host publication title

Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, LICS 2009, Los Angeles, CA, USA

Publication metrics

PlumX

Citation count
49
Captures
24

Related Event

Title

Logic in Computer Science

Event type

Conference

Date

02/07/2010