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 intAdd to Reading ListSource URL: www2.tcs.ifi.lmu.deDownload Document from Source WebsiteFile Size: 414,65 KBShare Document on Facebook |