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

Author:
Tarmo Uustalu <tarmo @ cs . ioc . ee> (email mangled to prevent spamming)
Institute of Cybernetics (IoC) at Tallinn Technical University
Tallinn
Estonia
Keywords:
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

Types:
incollection(873), article(751), techreport(179), book(135), unpublished(106), phdthesis(80), mastersthesis(9), inbook(3)
Fields:
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!