Realizability Bibliography

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 (

BibTeX database: realizability.bib

Search the Bibliography


345 references, last updated Tue Jun 13 8:59:00 2000