Title: Types for proofs and programs
First published: 1995
Subjects: Congresses, Automatic theorem proving, Mathematical symbols (typefaces)
LC classification: QA76.9.A96 I594 1994