Logical Step-Indexed Logical Relations

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, LICS 2009, Los Angeles, CA, USA
Publisher	IEEE
Publication date	2009
Publication status	Published - 2009
Event	Logic in Computer Science - Duration: 2 Jul 2010 → …

Conference	Logic in Computer Science
Period	02/07/2010 → …

Cite this

@inproceedings{444e9670da0b11deb0f9000ea68e967b,

title = "Logical Step-Indexed Logical Relations",

author = "Derek Dreyer and Amal Ahmed and Lars Birkedal",

year = "2009",

language = "English",

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

publisher = "IEEE",

address = "United States",

note = "Logic in Computer Science ; Conference date: 02-07-2010",

}