Title: Types for proofs and programs
Subjects: Congresses, Computer programming, Automatic theorem proving, Logic design, Data processing, Computer science, Artificial intelligence, Algebra