logical . frameworks . lecture . notes . computer . science . international . symposium . sophia-antipolis . france . june . proceedings . milner . plotkin . stirling . colin . tofte . mads .
Format
Author
Status
List Price