The Collection of
Computer Science Bibliographies

Bibliography on Logic in Program Construction

[   About   |  Browse   |   Statistics   ]

Number of references:2030Last update:July 22, 2018
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(842), article(714), techreport(174), book(108), unpublished(101), phdthesis(79), mastersthesis(9), inbook(3)
Fields:
title(2031), author(2030), year(2014), pages(1483), volume(1251), publisher(902), address(863), number(863), booktitle(842), journal(714), editor(613), series(611), url(498), month(267), note(190), institution(178), type(172), special(92), school(88), chapter(33), mr(30), stat(10), edition(8), 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!