Title: Types for proofs and programs
Subjects: Automatic theorem proving, Congresses, Computer programs