Title: Types for Proofs and Programs
Subjects: Logic design, Artificial intelligence, Computer science, Data processing, Algebra, Automatic theorem proving, Congresses, Computer programming, Beweistheorie, Kongress, Typentheorie, HOL, Programmierung, Typsystem