The Collection of
Computer Science Bibliographies

Bibliography on Realizability

Number of references:	345	Last update:	June 7, 2001
Number of online publications:	9	Supported:	Unknown
Most recent reference:	2000

Author:: Lars Birkedal <birkedal @ itu . dk> (email mangled to prevent spamming)
The IT University of Copenhagen
Denmark
Keywords:: realizability semantics
Author Comments:: This bibliography on realizability has been established in connection with the Workshop on Realizability Semantics and Applications 1999 in Trento, Italy. Additions and corrections are very welcome. Please email them to Lars Birkedal (birkedal@itu.dk).

Original source:

http://www.it-c.dk... (Format: bibtex)
Other sites:

http://www.it-c.dk... (Format: html)

Types:: article(166), inproceedings(78), book(29), phdthesis(18), techreport(17), incollection(14), misc(12), unpublished(8), proceedings(2), booklet(1)
Fields:: title(345), year(344), author(342), pages(238), volume(191), journal(167), publisher(115), booktitle(93), reviews(92), editor(75), note(68), number(31), series(29), school(18), institution(17), address(15), month(4), type(3), editors(2), howpublished(1), poublisher(1), publiher(1), review(1), source(1), source-date(1)
Distribution of publication dates: