Logical Step-Indexed Logical Relations

Derek Dreyer; Amal Ahmed; Lars Birkedal

Logical Step-Indexed Logical Relations

Derek Dreyer, Amal Ahmed, Lars Birkedal

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, LICS 2009, Los Angeles, CA, USA
Forlag	IEEE Computer Society Press
Publikationsdato	2009
Status	Udgivet - 2009
Begivenhed	Logic in Computer Science - Varighed: 2 jul. 2010 → …

Konference

Konference	Logic in Computer Science
Periode	02/07/2010 → …

Citationsformater

@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 Computer Society Press",

address = "United States",

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

}

Logical Step-Indexed Logical Relations. / Dreyer, Derek; Ahmed, Amal; Birkedal, Lars.
Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, LICS 2009, Los Angeles, CA, USA. IEEE Computer Society Press, 2009.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review