Title: IV Higher Order Workshop, Banff 1990
Subjects: Automatic theorem proving, Congresses, Parallel processing (Electronic computers), Programming languages (Electronic computers)