Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects.

Naohiko Hoshino

Browse the full LICS paper archive.