Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects | IEEE Conference Publication | IEEE Xplore