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