Treffer: Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
Title:
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
Authors:
Source:
2012 27th Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. :385-394 Jun, 2012
Relation:
2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
Database:
IEEE Xplore Digital Library