IV Higher Order Workshop, Banff 1990
Subtitle: proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada
By: Graham Birtwistle (ed.).
Contributors: Birtwistle, G. M.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1991
Place of publication: London; New York
Language: eng
Number of pages: 283
Subjects: Parallel processing (Electronic computers) -- Congresses.; Programming languages (Electronic computers) -- Congresses.; Automatic theorem proving -- Congresses.
Other titles: Fourth Higher Order Workshop, Banff 1990.; 4th Higher Order Workshop, Banff 1990.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."