Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

452 Pages·2003·24.82 MB·English

by  Samson Abramsky

     
  









   
    
       
       
   






























   


Foundationsof SoftwareScienceandComputation Structures(FOSSACS) 2003
Joint
European Conferenceson Theory andPracticeof Software(ETAPS)
A Game Semantics for
Generic Polymorphism
 
