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

First Page		Document Content
Date: 2014-09-02 06:12:08		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 Source URL: www2.tcs.ifi.lmu.de Download Document from Source Website File Size: 414,65 KB Share Document on Facebook