IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada /
Higher Order Workshop(4th :1990 :Banff, Alta.)
Birtwistle, G. M.(Graham M.)
London : Springer-Verlag,
c1991.
"Published in collaboration with the British Computer Society."
Includes index.
Parallel processing (Electronic computers)
Programming languages (Electronic computers)
Automatic theorem proving