Bibliography

These are some works relevant to the topic of the seminar. I have been lazy about bibliographical details, but Google will supply these. To avoid copyright violations, some of the links are to copies kept in a password-protected directory. This list will evolve and grow over the course of the semester.

General considerations

Interactive theorem proving: overviews

Interactive theorem provers: languages

Interactive theorem provers: formalizations

Formal models of mathematical language

Philosophy of language and linguistics

Designed languages

Modularity

Programming methodology

Programming language design

Insights from the history of mathematics

Automated reasoning

Philosophy of mathmatical practice

Categorical language