Next:
Background/Context
Game Semantics for Programming Languages
B/95/AF/2115
Final Research Report
Pasquale Malacaria
Queen Mary, University of London
Background/Context
Key Advances
Related activities during the period of the fellowship
Bibliography
About this document ...
Pasquale Malacaria
2001-04-24