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

DOI10.1109/LICS.2012.74zbMath1360.68573MaRDI QIDQ2986814

Naohiko Hoshino

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

operational semanticsdenotational semanticssemantics of programming languages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)