BibTeX bibliographies compiled by Tarmo Uustalu

Below is a list of BibTeX bibliographies I've compiled for my personal use in my research.

None of the bibliographies is complete to any extent. They just reflect what I've needed in my research, what I am interested in and what I've come across. I am continuously updating the bibliographies.

• abbrev.bib --- an auxiliary bib-file listing the abbreviations used in all others
• clas.bib --- general logic textbooks and such, classical proof theory and model theory, higher-order logic, epsilon-symbol, free logic, ..., classical theorem proving, in particular Maslov's method, resolution, classical logic as constructive
• intuit.bib --- constructive mathematics, proof theory, model theory of intuitionistic logic, Curry-Howard correspondence, decision and theorem proving, logic programming; also anti-intuitionistic and Heyting-Brouwer logic, quantum logic
• pm.bib --- proofs and meaning: general proof theory, verificationist meaning-theories
• tlc.bib --- typed lambda calculi and type assignment systems, Barendregt's cube, pure type systems, inductive and co-inductive types, subtyping and intersection types, monads; Martin-Löf's type theory (also the Cornell type theory)
• mtdl.bib --- modal, temporal, and dynamic logic
• mucalc.bib --- Kozen's modal mu-calculus and the like
• fmt.bib --- finite model theory (emphasis on the finite model theory of least fixpoint logics and related logics)
• linear.bib --- linear logic (outdated)
• constraints.bib -- constraints (outdated)
• mpc.bib --- categorical logic, mathematics of program construction, functional programming and category theory, also lattice theory
• sem.bib --- semantics of programming languages

• ssp.bib --- structural synthesis of programs, Priz, NUT and related (a fairly extensive collection of references to work by Tyugu and his colleagues in Tallinn and Stockholm)

All these bibliographies together appear as Bibliography on Logic in Program Construction in Alf-Christian Achilles' Collection of Computer Science Bibliographies.