Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 BibTeX bibliographies compiled by Tarmo Uustalu
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)
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)