essays in honour of Robin Milner[catalogue][http://catalogue.bnf.fr/ark:/12148/cb37568380p]
what they can do, what they might do, and what they will probably never do
Material description : XI-146 p.
Note : Note : Bibliogr. p. 137-139. Index
Edition : Berlin ; Heidelberg ; New York : Springer , cop. 1990
The Virtual International Authority File (VIAF) is an international authority file. It is a joint project of several national libraries
IdRef is the authority database (author, title) of the union catalogue for France's higher education libraries (SUDOC)
ISNI is an international certified number (ISO 27729) that uniquely identifies persons and organisations.