Logical Step-Indexed Logical Relations

Derek Dreyer, Amal Ahmed, Lars Birkedal

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	7
Udgave nummer	2:16
ISSN	1860-5974
Status	Udgivet - 2011

Citationsformater

@inproceedings{cebc5ef902b84407b40c3f5c742b31f0,

title = "Logical Step-Indexed Logical Relations",

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

year = "2011",

language = "English",

volume = "7",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "2:16",

}