The Collection of
Computer Science Bibliographies

Bibliography on Logic in Program Construction

[   About   |  Browse   |   Statistics   ]

Number of references:2045Last update:October 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(838), article(716), techreport(173), book(126), unpublished(101), phdthesis(79), mastersthesis(9), inbook(3)
Fields:
title(2046), author(2045), year(2029), pages(1480), volume(1266), publisher(915), address(879), number(864), booktitle(838), journal(716), series(632), editor(617), url(495), month(266), note(197), institution(177), type(171), special(89), school(88), chapter(40), mr(30), edition(12), 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!