Logical Step-Indexed Logical Relations

Derek Dreyer, Amal Ahmed, Lars Birkedal

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Journal	Logical Methods in Computer Science
Volume	7
Issue number	2:16
ISSN	1860-5974
Publication status	Published - 2011

Cite this

@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",

}