The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Curry-style type Isomorphisms and Game Semantics
[article]
2007
arXiv
pre-print
Curry-style system F, ie. system F with no explicit types in terms, can be seen as a core presentation of polymorphism from the point of view of programming languages. This paper gives a characterisation of type isomorphisms for this language, by using a game model whose intuitions come both from the syntax and from the game semantics universe. The model is composed of: an untyped part to interpret terms, a notion of game to interpret types, and a typed part to express the fact that an untyped
arXiv:0705.4228v1
fatcat:fi6iuqqq5jfspiyz2anvdxlkti