Title: Types for proofs and programs
First published: 2008
Subjects: Congresses, Computer programming, Automatic theorem proving
LC classification: QA76.9.A96 T96 2008