Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

TCS
2008

favoriteEmaildiscussreport

88views Theoretical Computer Science» more TCS 2008»

A type assignment system for game semantics

13 years 4 months ago

A type assignment system for game semantics

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell, Marina Lenis

Real-time Traffic

TCS 2008 | Theoretical Computer Science |

claim paper

Related Content

» Essential Intersection Type Assignment

» Logical Equivalence for Subtyping Object and Recursive Types

» Dynamic epistemic logic with assignment

» Verifying Security Properties of Cryptoprotocols A Novel Approach

» A Game Semantics for Generic Polymorphism

» Subtyping with Power Types

» Globally Optimal Channel Assignment for NonCooperative Wireless Networks

» Geometry of synthesis a structured approach to VLSI design

» Tridirectional typechecking

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	TCS
Authors	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Comments (0)