Back to Results
First PageMeta Content



Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int
Add to Reading List

Document Date: 2014-09-02 06:12:08


Open Document

File Size: 414,65 KB

Share Result on Facebook