The Collection of
Computer Science Bibliographies

Bibliography on Logic in Program Construction

[   About   |  Browse   |   Statistics   ]

Number of references:2136Last update:July 5, 2017
Number of online publications:0Supported:yes
Most recent reference:July 2004

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Tarmo Uustalu <tarmo @ cs . ioc . ee> (email mangled to prevent spamming)
Institute of Cybernetics (IoC) at Tallinn Technical University
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; constructive mathematics, proof theory, model theory of intuitionistic logic, Curry-Howard correspondence, decision and theorem proving, logic programming; quantum and anti-intuitionistic logic; 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; modal, temporal, and dynamic logic; Kozen's modal mu-calculus; finite model theory; linear logic; constraints; mathematics of program construction, functional programming and category theory; semantics of programming languages; structural synthesis of programs
Author Comments:
This is a BibTeX bibliography I've compiled for my personal use in my research. The bibliography is not complete to any extent. It just reflects what I've needed in my research, what I am interested in and what I've come across.
NB. Conference papers are listed in incollection format.

Browsing the bibliography

Bibliographic Statistics

incollection(873), article(751), techreport(179), book(135), unpublished(106), phdthesis(80), mastersthesis(9), inbook(3)
title(2137), author(2136), year(2120), pages(1549), volume(1327), publisher(959), address(921), number(905), booktitle(873), journal(751), series(661), editor(644), url(511), month(275), note(203), institution(183), type(174), special(96), school(89), chapter(43), mr(30), edition(13), stat(10), organization(8), longauthor(3), date(1), doi(1), doi-url(1), guested(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!