Cite Them Right 11th edition - Harvard

Hoshino, N. (2012) “Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects”, in. doi:10.1109/LICS.2012.74.

Chicago Manual of Style 17th edition (full note)

Hoshino, Naohiko. “Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects”. In . https://doi.org/10.1109/LICS.2012.74.

American Psychological Association 7th edition

Hoshino, N. (2012, June 1). Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. https://doi.org/10.1109/LICS.2012.74

Modern Language Association 9th edition

Hoshino, N. Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. 2012, https://doi.org/10.1109/LICS.2012.74.

ISO-690 (author-date, Deutsch)

HOSHINO, Naohiko, 2012. Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. In: . 1 June 2012

Warning: These citations may not always be 100% accurate.